4573 search results - page 323 / 915 » Automated Reasoning |
140
click to vote
LPAR
2007
Springer
16 years 26 days ago
2007
Springer
Categorial Grammars Philippe de Groote, Sarah Maarek, Ryo Yoshinaka On Two Extensions of ACGs – p.1/45
134
click to vote
LICS
2006
IEEE
16 years 22 days ago
2006
IEEE
U. Berger, [11] significantly simplified Tait’s normalisation proof for bar recursion [27], see
175
Voted
PPSWR
2005
Springer
16 years 6 days ago
2005
Springer
This articles discusses the logic, or logic-based, languages required for a full deployment of the Semantic Web. It presents ten theses addressing
159
click to vote
FLOPS
2004
Springer
16 years 3 days ago
2004
Springer
This paper presents a complete (infinite) axiomatization for an algebraic construction of graphs, in which a finite fragment denotes the class of graphs with bounded tree width.