Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
Hilfe
Suche: Journal=Theor.~Comput.~Sci. AND Volume=96
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Elementary transition systems
M. Nielsen
,
G. Rozenberg
,
P.S. Thiagarajan
Theoretical Computer Science
96
, 1992, pp. 3-33
A logical characterization of well branching event structures
Madhavan Mukund
,
P.S. Thiagarajan
Theoretical Computer Science
96
, 1992, pp. 35-72
Conditional rewriting logic as a unified model of concurrency
José Meseguer
Theoretical Computer Science
96
, 1992, pp. 73-155
Local model checking for infinite state spaces
Julian Bradfield
,
Colin Stirling
Theoretical Computer Science
96
, 1992, pp. 157-174
Petri nets semantics of priority systems
Eike Best
,
Maciej Koutny
Theoretical Computer Science
96
, 1992, pp. 175-215
The chemical abstract machine
Gérard Berry
,
Gérard Boudol
Theoretical Computer Science
96
, 1992, pp. 217-248
Observational structures and their logic
Egidio Astesiano
,
Alessandro Giovini
,
Gianna Reggio
Theoretical Computer Science
96
, 1992, pp. 249-283
Concurrent regular expressions and their relationship to Petri nets
Vijay K. Garg
,
M.T. Ragunath
Theoretical Computer Science
96
, 1992, pp. 285-304
Nonuniform complexity and the randomness of certain complete languages
Dung T. Huynh
Theoretical Computer Science
96
, 1992, pp. 305-324
Languages whose
n
-element subsets are codes
M. Ito
,
H. Jürgensen
,
H.J. Shyr
,
G. Thierrin
Theoretical Computer Science
96
, 1992, pp. 325-344
The Hausdorff-Kuratowski hierarchy of
\omega
-regular languages and a hierarchy of Muller automata
Rana Barua
Theoretical Computer Science
96
, 1992, pp. 345-360
Daisies, Kayles, and the Sibert-Conway decomposition in misère octal games
Thane E. Plambeck
Theoretical Computer Science
96
, 1992, pp. 361-388
Mate with bishop and knight in kriegspiel
Thomas S. Ferguson
Theoretical Computer Science
96
, 1992, pp. 389-403
On the partially commutative shuffle product
Gérard Duchamp
,
Daniel Krob
Theoretical Computer Science
96
, 1992, pp. 405-410
Some properties of space-bounded synchronized alternating Turing machines with universal states only
Anna Slobodová
Theoretical Computer Science
96
, 1992, pp. 411-419