7529 search results - page 56 / 1506 » The Modula-3 Type System |
104
click to vote
FROCOS
2009
Springer
15 years 10 months ago
2009
Springer
d abstract) Takahito Aoto† Toshiyuki Yamada‡
TIC
1998
Springer
15 years 8 months ago
1998
Springer
103
Voted
CADE
2001
Springer
16 years 4 months ago
2001
Springer
Canonical propositional Gentzen-type systems are systems which in addition to the standard axioms and structural rules have only pure logical rules with the subformula property, in...