837 search results - page 95 / 168 » Proof Development with OMEGA |
178
click to vote
COCO
1997
Springer
15 years 8 months ago
1997
Springer
We study families of Boolean circuits with the property that the number of gates at distance t fanning into or out of any given gate in a circuit is bounded above by a polynomial ...
154
click to vote
CCL
1994
Springer
15 years 8 months ago
1994
Springer
We introduce a modular property of equational proofs, called modularity of normalization, for the union of term rewrite systems with shared symbols. The idea is, that every normali...
146
click to vote
VLDB
1990
ACM
15 years 8 months ago
1990
ACM
Database programming requires having the knowledge of database semantics both to maintain database integrity and to explore more optimization opportunities. Automated programming ...
124
click to vote
ESOP
2009
Springer
15 years 8 months ago
2009
Springer
We describe the mechanisation of SLR parsing, covering background properties of context-free languages and grammars, as well as the construction of an SLR automaton. Among the vari...
124
click to vote
ICAIL
2007
ACM
15 years 8 months ago
2007
ACM
In this paper, we develop our previous outline of a multi-agent architecture for regulated information exchange in crime investigations. Interactions about information exchange be...