|
Journals in DBLP
Acta Inf. 2002, volume: 38, number: 9
- Pablo Cordero, Manuel Enciso, Inman P. de Guzmán
Bases for closed sets of implicants and implicates in temporal logic. [Citation Graph (0, 0)][DBLP] Acta Inf., 2002, v:38, n:9, pp:599-619 [Journal]
- Chris Giannella, Dirk Van Gucht
Adding a path connectedness operator to FO+poly (linear). [Citation Graph (0, 0)][DBLP] Acta Inf., 2002, v:38, n:9, pp:621-648 [Journal]
- Jean Berstel, Luc Boasson
Formal properties of XML grammars and languages. [Citation Graph (0, 0)][DBLP] Acta Inf., 2002, v:38, n:9, pp:649-671 [Journal]
|