default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFundamenta Informaticae, Volume 3
Volume 3, Number 1, 1980
- Jerren Gould, Edward J. Wegman:
On probabilistic automata in deterministic environment. Fundam. Informaticae 3(1): 1-14 (1980) - Grzegorz Rozenberg, Dirk Vermeir:
On metalinear ETOL systems. Fundam. Informaticae 3(1): 15-36 (1980) - Wojciech Rytter:
Functional Automata. Fundam. Informaticae 3(1): 37-44 (1980) - Grazyna Mirkowska:
Algorithmic logic with nondeterministic programs. Fundam. Informaticae 3(1): 45-64 (1980) - Ryszard Janicki:
Some remarks on deterministic Mazurkiewicz algorithms and languages associated with them. Fundam. Informaticae 3(1): 65-76 (1980) - Eike Best:
A theorem on the characteristics of nonsequential processes. Fundam. Informaticae 3(1): 77-94 (1980) - Douglas A. Cenzer:
Non-generable formal languages. Fundam. Informaticae 3(1): 95-104 (1980) - Bruno Courcelle, Jean-Claude Raoult:
Completions of ordered magmas. Fundam. Informaticae 3(1): 105- (1980)
Volume 3, Number 2, 1980
- Jerren Gould:
On stability of probabilistic automata in environments. Fundam. Informaticae 3(2): 117-134 (1980) - Gheorghe Paun:
A note on the intersection of context-free languages. Fundam. Informaticae 3(2): 135-140 (1980) - Jürgen Albert, Hermann A. Maurer, Grzegorz Rozenberg:
Simple EOL forms under uniform interpretation generating CF languages. Fundam. Informaticae 3(2): 141-156 (1980) - Grazyna Mirkowska:
Model existence theorems in algorithmic logic with non-deterministic programs. Fundam. Informaticae 3(2): 157-170 (1980) - A. Bergstra, H. J. M. Goeman, Alexander Ollongren, G. A. Terpstra, Theo P. van der Weide:
Axioms for multilevel objects. Fundam. Informaticae 3(2): 171-180 (1980) - Alexander Leitsch:
Complexity of index sets and translating functions. Fundam. Informaticae 3(2): 181-188 (1980) - Vera Trnková:
General theory of relational automata. Fundam. Informaticae 3(2): 189-234 (1980) - Ewa Orlowska:
Resolution problem and their applications I. Fundam. Informaticae 3(2): 235- (1980)
Volume 3, Number 3, 1980
- Teodor Rus:
HAS-Hierarchy: A natural tool for language specification. Fundam. Informaticae 3(3): 269-294 (1980) - Grzegorz Rozenberg, Dirk Vermeir:
A note on M-growth functions of FTOL systems with rank. Fundam. Informaticae 3(3): 295-302 (1980) - F. Adrianopoli:
Conjugated measures of computational complexity. Fundam. Informaticae 3(3): 303-310 (1980) - Andrzej Salwicki:
On the algorithmic theory of stacks. Fundam. Informaticae 3(3): 311-332 (1980) - Ewa Orlowska:
Resolution systems and their applications II. Fundam. Informaticae 3(3): 333-362 (1980) - John Grant:
Incomplete Information in a Relational Database. Fundam. Informaticae 3(3): 363-378 (1980) - Miroslaw Truszczynski:
An algorithm of finding an acyclic f-graph for a family od sets. Fundam. Informaticae 3(3): 379-396 (1980) - Martti Penttonen:
NP-completeness of combinatorial problems with unary notation for integers. Fundam. Informaticae 3(3): 397- (1980)
Volume 3, Number 4, 1980
- Adrian Atanasiu:
Tree-codifications and convolutional codes. Fundam. Informaticae 3(4): 401-418 (1980) - Stefan Sokolowski:
Programs as term transformers. Fundam. Informaticae 3(4): 419-432 (1980) - S. Janicki:
Sets generated by stochastic automata of Markov's chain type. Fundam. Informaticae 3(4): 433-444 (1980) - André Arnold, Maurice Nivat:
The metric space of infinite trees. Algebraic and topological properties. Fundam. Informaticae 3(4): 445-476 (1980) - Felipe Bracho:
Continously generated fixed points in Pomega. Fundam. Informaticae 3(4): 477-490 (1980) - Irina Gorun:
On intersections of context-free languages. Fundam. Informaticae 3(4): 491-496 (1980) - Hans Kleine Büning:
Decision problems in generalized vector addition systems. Fundam. Informaticae 3(4): 497- (1980)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-12-04 01:28 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
