23 search results - page 2 / 5 » lpar 2007 |
LPAR
2007
Springer
13 years 11 months ago
2007
Springer
Categorial Grammars Philippe de Groote, Sarah Maarek, Ryo Yoshinaka On Two Extensions of ACGs – p.1/45
LPAR
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. The Knuth-Bendix ordering is usually preferred over the lexicographic path ordering in successful implementations of resolution and superposition, but it is incompatible ...
LPAR
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. This paper provides a new, decidable definition of the higherorder recursive path ordering in which type comparisons are made only when needed, therefore eliminating the...
LPAR
2007
Springer
13 years 11 months ago
2007
Springer
Proof nets are a parallel syntax for sequential proofs of linear logic, firstly introduced by Girard in 1987. Here we present and intrinsic (geometrical) characterization of proof...
LPAR
2007
Springer
13 years 11 months ago
2007
Springer
We study the data complexity of instance checking and conjunctive query answering in the EL family of description logics, with a particular emphasis on the boundary of tractability...