|
Journals in DBLP
Inf. Comput. 2001, volume: 169, number: 1
- Adel Bouhoula, Jean-Pierre Jouannaud
Automata-Driven Automated Induction. [Citation Graph (0, 0)][DBLP] Inf. Comput., 2001, v:169, n:1, pp:1-22 [Journal]
- Marco Comini, Giorgio Levi, Maria Chiara Meo
A Theory of Observables for Logic Programs. [Citation Graph (0, 0)][DBLP] Inf. Comput., 2001, v:169, n:1, pp:23-80 [Journal]
- Kaile Su
More on Representation Theory for Default Logic. [Citation Graph (0, 0)][DBLP] Inf. Comput., 2001, v:169, n:1, pp:81-93 [Journal]
- Giuseppe Di Battista, Roberto Tamassia, Luca Vismara
Incremental Convex Planarity Testing. [Citation Graph (0, 0)][DBLP] Inf. Comput., 2001, v:169, n:1, pp:94-126 [Journal]
|