Volume 12; Issue 4

ACM Transactions on Computational Logic

Volume 12; Issue 4
2

Unification and matching on compressed terms

Gascón, Adrià, Godoy, Guillem, Schmidt-Schauss, Manfred
Journal:
ACM Transactions on Computational Logic
Year:
2011
Language:
english
File:
PDF, 708 KB
english, 2011
3

Logics for information systems and their dynamic extensions

Khan, Md. Aquil, Banerjee, Mohua
Journal:
ACM Transactions on Computational Logic
Year:
2011
Language:
english
File:
PDF, 340 KB
english, 2011
4

A system of interaction and structure IV

Burger, Lutz Straß, Guglielmi, Alessio
Journal:
ACM Transactions on Computational Logic
Year:
2011
Language:
english
File:
PDF, 1.44 MB
english, 2011
5

Qualitative concurrent parity games

Chatterjee, Krishnendu, Alfaro, Luca De, Henzinger, Thomas A.
Journal:
ACM Transactions on Computational Logic
Year:
2011
Language:
english
File:
PDF, 585 KB
english, 2011
6

Complexity of conservative constraint satisfaction problems

Bulatov, Andrei A.
Journal:
ACM Transactions on Computational Logic
Year:
2011
Language:
english
File:
PDF, 1.29 MB
english, 2011
7

Logic programs with propositional connectives and aggregates

Ferraris, Paolo
Journal:
ACM Transactions on Computational Logic
Year:
2011
Language:
english
File:
PDF, 361 KB
english, 2011