Volume 56,
June 1995
The Algebraic Specification Column
The Concurrency Column
- Petr Jancar:
All action-based behavioural equivalences are undecidable for labelled Petri nets.
BibTeX
The Formal Language Theory Column
Technical Contributions
- Henning Fernau:
A predicate for separating language classes.
BibTeX
- Clive N. Galley:
An Omega(log n) time linear cost lower bound for the single function coarsest partition problem.
BibTeX
- Alexander Meduna:
A trivial method of characterizing the family of recursively enumerable languages by scattered context grammars.
BibTeX
- M. Moshkov:
Relationships between depth of deterministic and nondeterministic acyclic programs computing functions of k-valued logic.
BibTeX
- Helmut Prodinger:
Digital search trees and basic hypergeometric functions.
BibTeX
Copyright © Sat May 16 23:57:44 2009
by Michael Ley (ley@uni-trier.de)
