4617 search results - page 356 / 924 » Automation of Diagrammatic Reasoning |
159
click to vote
LICS
2008
IEEE
16 years 1 months ago
2008
IEEE
We revisit the correctness criterion for the multiplicative additive fragment of linear logic. We prove that deciding the correctness of corresponding proof structures is NLcomple...
158
click to vote
ICLP
2007
Springer
16 years 25 days ago
2007
Springer
This note provides background information and references to the tutorial on recent research developments in logic programming inspired by need of knowledge representation.
139
click to vote
LPAR
2007
Springer
16 years 25 days ago
2007
Springer
Categorial Grammars Philippe de Groote, Sarah Maarek, Ryo Yoshinaka On Two Extensions of ACGs – p.1/45
133
click to vote
LICS
2006
IEEE
16 years 21 days ago
2006
IEEE
U. Berger, [11] significantly simplified Tait’s normalisation proof for bar recursion [27], see