5451 search results - page 145 / 1091 » Typed Operational Semantics |
150
Voted
DEBS
2007
ACM
15 years 7 months ago
2007
ACM
Content-based publish/subscribe systems allow matching the content of events with predicates in the subscriptions. However, most existing systems only allow a limited set of opera...
134
Voted
GECCO
2000
Springer
15 years 7 months ago
2000
Springer
This paper presents an extension to genetic programming to allow the evolution of programs containing local variables with static scope which obey the invariant that all variables...
134
Voted
CADE
2006
Springer
16 years 4 months ago
2006
Springer
Propositional canonical Gentzen-type systems, introduced in [1], are systems which in addition to the standard axioms and structural rules have only logical rules in which exactly ...
95
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...
156
Voted
ICCS
2004
Springer
15 years 9 months ago
2004
Springer
It is well accepted that diagrams play a crucial role in human reasoning. But in mathematics, diagrams are most often only used for visualizations, but it is doubted that diagrams ...