| Publication | Date of Publication | Type |
|---|
Algebras over variable theories.
Algebra Universalis | 2005-04-19 | Paper |
| scientific article; zbMATH DE number 1129150 (Why is no real title available?) | 1998-03-17 | Paper |
| scientific article; zbMATH DE number 1129150 (Why is no real title available?) | 1998-03-17 | Paper |
Fixed points in free process algebras. II
Theoretical Computer Science | 1990-01-01 | Paper |
| scientific article; zbMATH DE number 4129055 (Why is no real title available?) | 1989-01-01 | Paper |
Fixed points in free process algebras. I
Theoretical Computer Science | 1989-01-01 | Paper |
Bisimulation of automata
Information and Computation | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4059657 (Why is no real title available?) | 1988-01-01 | Paper |
Algebraic solutions to recursion schemes
Journal of Computer and System Sciences | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 4092736 (Why is no real title available?) | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 4045162 (Why is no real title available?) | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 3970099 (Why is no real title available?) | 1986-01-01 | Paper |
Free semiring-representations and nondeterminism
Journal of Computer and System Sciences | 1985-01-01 | Paper |
Iterative and recursive matrix theories
Journal of Algebra | 1984-01-01 | Paper |
Functional behavior of nondeterministic and concurrent programs
Information and Control | 1984-01-01 | Paper |
Counting Paths: Nondeterminism as Linear Algebra
IEEE Transactions on Software Engineering | 1984-01-01 | Paper |
Deterministic and nondeterministic flowchart interpretations
Journal of Computer and System Sciences | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3819071 (Why is no real title available?) | 1983-01-01 | Paper |
In Scott-Strachey style denotational semantics, parallelism implies nondeterminism
Mathematical Systems Theory | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3770920 (Why is no real title available?) | 1982-01-01 | Paper |
Free upper regular bands
Theoretical Computer Science | 1981-01-01 | Paper |
Parameter passing in nondeterministic recursive programs
Journal of Computer and System Sciences | 1979-01-01 | Paper |
Some Preservation Properties of Normal Form Grammars
SIAM Journal on Computing | 1977-01-01 | Paper |
| scientific article; zbMATH DE number 3555482 (Why is no real title available?) | 1977-01-01 | Paper |
| scientific article; zbMATH DE number 3553782 (Why is no real title available?) | 1976-01-01 | Paper |
The basic algebraic structures in categories of derivations
Information and Control | 1975-01-01 | Paper |
Semantic preserving translations
Mathematical Systems Theory | 1975-01-01 | Paper |
| scientific article; zbMATH DE number 3474967 (Why is no real title available?) | 1975-01-01 | Paper |
An abstract machine theory for formal language parsers
Acta Informatica | 1974-01-01 | Paper |
| scientific article; zbMATH DE number 3454811 (Why is no real title available?) | 1974-01-01 | Paper |
Syntax and semantics: A categorical view
Information and Control | 1970-01-01 | Paper |
