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