MFCS
1998
Springer
13 years 8 months ago
1998
Springer
One-way cellular automata with restricted nondeterminism are investigated. The number of allowed nondeterministic state transitions is limited to a constant. It is shown that a lim...
MFCS
1998
Springer
13 years 8 months ago
1998
Springer
MFCS
1998
Springer
13 years 8 months ago
1998
Springer
Recently the class of BPA (or context-free) processes has been intensively studied and bisimilarity and regularity appeared to be decidable (see [CHS95, BCS95, BCS96]). We extend t...
MFCS
1998
Springer
13 years 8 months ago
1998
Springer
In this paper we consider the problem of characterizing optimal variable orderings for shared OBDDs of two Boolean functions fi = gi i hi, i = 1, 2, where i is an operator from th...
MFCS
1998
Springer
13 years 8 months ago
1998
Springer
We develop a control flow analysis for the Imperative Object Calculus. We prove the correctness with respect to two Structural Operational Semantics that differ in minor technical ...
MFCS
1998
Springer
13 years 8 months ago
1998
Springer
MFCS
1998
Springer
13 years 8 months ago
1998
Springer
MFCS
1998
Springer
13 years 8 months ago
1998
Springer
MFCS
1998
Springer
13 years 8 months ago
1998
Springer
MFCS
1998
Springer
13 years 8 months ago
1998
Springer
It is known that a language is context-free iff it is the set of borders of the trees of recognizable set, where the border of a (labelled) tree is the word consisting of its leaf ...