Volume 5; Issue 2

ACM Transactions on Computational Logic

Volume 5; Issue 2
2

Optimal length tree-like resolution refutations for 2SAT formulas

Subramani, K.
Journal:
ACM Transactions on Computational Logic
Year:
2004
Language:
english
File:
PDF, 36 KB
english, 2004
3

A decomposition-based implementation of search strategies

Michel, Laurent, Van Hentenryck, Pascal
Journal:
ACM Transactions on Computational Logic
Year:
2004
Language:
english
File:
PDF, 210 KB
english, 2004
4

Inflationary fixed points in modal logic

Dawar, Anuj, Grädel, Erich, Kreutzer, Stephan
Journal:
ACM Transactions on Computational Logic
Year:
2004
Language:
english
File:
PDF, 224 KB
english, 2004
7

Some applications of logic to feasibility in higher types

Ignjatovic, Aleksandar, Sharma, Arun
Journal:
ACM Transactions on Computational Logic
Year:
2004
Language:
english
File:
PDF, 135 KB
english, 2004