2272 search results - page 76 / 455 » A Calculus for |
138
click to vote
INFOCOM
2002
IEEE
15 years 8 months ago
2002
IEEE
Abstract— Network calculus is known to apply in general only to feedforward routing networks, i.e., networks where routes do not create cycles of interdependent packet flows. In...
112
Voted
CIE
2006
Springer
15 years 7 months ago
2006
Springer
traction for an Object-Oriented Calculus with Thread Classes Erika
114
click to vote
TABLEAUX
1998
Springer
15 years 7 months ago
1998
Springer
Appeared in: Harrie de Swart, editor. Automated Reasoning with Analytic Tableaux and Related Methods, LNAI 1489, Springer, pages 232
107
click to vote
JOLLI
2006
15 years 3 months ago
2006
This paper develops an inference system for natural language within the `Natural Logic' paradigm as advocated by Van Benthem [11], S
140
Voted
AML
2002
15 years 3 months ago
2002
Abstract We extend Barbanera and Berardi's symmetric lambda calculus [2] to second order classical propositional logic and prove its strong normalization.