|
Journals in DBLP
- Girish Bhat, Doron Peled
Adding Partial Orders to Linear Temporal Logic. [Citation Graph (0, 0)][DBLP] Fundam. Inform., 1998, v:36, n:1, pp:1-21 [Journal]
- Patrick Doherty, Witold Lukaszewicz, Andrzej Szalas
General Domain Circumscription and its Effective Reductions. [Citation Graph (0, 0)][DBLP] Fundam. Inform., 1998, v:36, n:1, pp:23-55 [Journal]
- George Rahonis, Kai Salomaa
On the Size of Stack and Synchronization Alphabets of Tree Automata. [Citation Graph (0, 0)][DBLP] Fundam. Inform., 1998, v:36, n:1, pp:57-69 [Journal]
- Józef Winkowski
Processes of Contextual Nets and their Characteristics. [Citation Graph (0, 0)][DBLP] Fundam. Inform., 1998, v:36, n:1, pp:71-101 [Journal]
|