|
Journals in DBLP
- Vincenzo Manca
Computational formalism: abstract combinatory view-point and related first order logical framework. [Citation Graph (0, 0)][DBLP] Fundam. Inform., 1981, v:4, n:1, pp:3-18 [Journal]
- R. Danecki
Multiple regularity and binary ETOL-systems. [Citation Graph (0, 0)][DBLP] Fundam. Inform., 1981, v:4, n:1, pp:19-34 [Journal]
- Tomasz Müldner
On the semantics of parallel programs. [Citation Graph (0, 0)][DBLP] Fundam. Inform., 1981, v:4, n:1, pp:35-82 [Journal]
- Giorgio Ausiello, Alessandro D'Atri, Marco Protasi
Lattice theoretic ordering properties for NP-complete optimization problems. [Citation Graph (0, 0)][DBLP] Fundam. Inform., 1981, v:4, n:1, pp:83-94 [Journal]
- Tomasz Müldner
On the synchronizing tools for parallel programs. [Citation Graph (0, 0)][DBLP] Fundam. Inform., 1981, v:4, n:1, pp:95-134 [Journal]
- Jürgen Albert, Hermann A. Maurer, Thomas Ottmann
On subregular OL forms. [Citation Graph (0, 0)][DBLP] Fundam. Inform., 1981, v:4, n:1, pp:135-150 [Journal]
- Pierangelo Miglioli, Mario Ornaghi
A logically justified model of computation I. [Citation Graph (0, 0)][DBLP] Fundam. Inform., 1981, v:4, n:1, pp:151-172 [Journal]
- T. R. M. Fischer
On universal binary search trees. [Citation Graph (0, 0)][DBLP] Fundam. Inform., 1981, v:4, n:1, pp:173-184 [Journal]
- Gheorghe Paun
On eliminating the lambda-rules from simple matrix grammars. [Citation Graph (0, 0)][DBLP] Fundam. Inform., 1981, v:4, n:1, pp:185-196 [Journal]
- Grzegorz Rozenberg, Dirk Vermeir
A hierarchy of ETOL languages with rank. [Citation Graph (0, 0)][DBLP] Fundam. Inform., 1981, v:4, n:1, pp:197-0 [Journal]
|