|
Journals in DBLP
- Paolo Liberatore, Marco Schaerf
Compilability of propositional abduction. [Citation Graph (0, 0)][DBLP] ACM Trans. Comput. Log., 2007, v:8, n:1, pp:- [Journal]
- Annabelle McIver, Carroll Morgan
Results on the quantitative µ-calculus qMµ. [Citation Graph (0, 0)][DBLP] ACM Trans. Comput. Log., 2007, v:8, n:1, pp:- [Journal]
- Maria Paola Bonacina, Nachum Dershowitz
Abstract canonical inference. [Citation Graph (0, 0)][DBLP] ACM Trans. Comput. Log., 2007, v:8, n:1, pp:- [Journal]
- Joost Vennekens, David Gilis, Marc Denecker
Erratum to splitting an operator: Algebraic modularity results for logics with fixpoint semantics. [Citation Graph (0, 0)][DBLP] ACM Trans. Comput. Log., 2007, v:8, n:1, pp:- [Journal]
- Alessio Guglielmi
A system of interaction and structure. [Citation Graph (0, 0)][DBLP] ACM Trans. Comput. Log., 2007, v:8, n:1, pp:- [Journal]
- Alexander Rabinovich
On compositionality and its limitations. [Citation Graph (0, 0)][DBLP] ACM Trans. Comput. Log., 2007, v:8, n:1, pp:- [Journal]
- Greta Yorsh, Thomas W. Reps, Mooly Sagiv, Reinhard Wilhelm
Logical characterizations of heap abstractions. [Citation Graph (0, 0)][DBLP] ACM Trans. Comput. Log., 2007, v:8, n:1, pp:- [Journal]
|