8949 search results - page 596 / 1790 » is 1998 |
175
click to vote
WDAG
1998
Springer
15 years 11 months ago
1998
Springer
Sense of direction is a property of labeled graphs which has been shown to have a de
182
click to vote
WG
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. We consider broadcasting on asynchronous anonymous totally unoriented n
154
click to vote
WIA
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. LR parsers have long been known as being an efficient algorithm for recognizing deterministic context
189
click to vote
CADE
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. In this paper we present an extensional higher-order resolution calculus that is complete relative to Henkin model semantics. The treatment of the extensionality principl...
168
click to vote
TABLEAUX
1998
Springer
15 years 11 months ago
1998
Springer
Appeared in: Harrie de Swart, editor. Automated Reasoning with Analytic Tableaux and Related Methods, LNAI 1489, Springer, pages 232