|
Journals in DBLP
- Jonathan Burton, Maciej Koutny, Giuseppe Pappalardo
Relating Communicating Processes with Different Interfaces. [Citation Graph (0, 0)][DBLP] Fundam. Inform., 2004, v:59, n:1, pp:1-37 [Journal]
- Sujata Ghosh, Mihir K. Chakraborty
Nonmonotonic Proof Systems: Algebraic Foundations. [Citation Graph (0, 0)][DBLP] Fundam. Inform., 2004, v:59, n:1, pp:39-65 [Journal]
- Natasa Jonoska, Maurice Margenstern
Tree Operations in P Systems and lamda-Calculus. [Citation Graph (0, 0)][DBLP] Fundam. Inform., 2004, v:59, n:1, pp:67-90 [Journal]
- Tomasz Terlikowski
Risk-type Description of Control Variants. [Citation Graph (0, 0)][DBLP] Fundam. Inform., 2004, v:59, n:1, pp:91-106 [Journal]
|