Theorietag 2000 - Liste der Anmeldungen
Benedikt BOLLIG
Deciding LTL over Mazurkiewicz Traces
Henning BORDIHN
On the Number of Active Symbols in L and CD Grammar Systems
Erzsébet CSUHAJ-VARJÚ
On Language-theoretic Aspects of Watson-Crick Complementarity: Models and Results
Jürgen DASSOW
Rusinš FREIVALDS
Quantum Finite Automata
Franziska FREUND
Rudolf FREUND
Sequential P-Systems
Bernhard GRAMLICH
Jozef GRUSKA
Quantum Puzzles, Mysteries and Paradoxes
Thomas HINZE
Towards an in-vitro Implementation of a Universal Distributed Splicing Model for DNA Computation
Markus HOLZER
TANTRIX: Rotation Puzzles are Intractable
Natasha JONOSKA
Computing with Biomolecules
Daniel KIRSTEN
Defining formal power series by formal languages (file not yet available)
Andreas KLEIN
Parsen von erweiterten regulären Ausdrücken
Werner KUICH
Martin KUTRIB
Deterministische Turingmaschinen zwischen Real- und Linearzeit
Jan-Thomas B. LOEWE
Auf Zellularautomaten basierende Bilderzeugung und -kompression
Gundula NIEMANN
McNaughton Languages
Marion OSWALD
Friedrich OTTO
Gheorghe PAUN
On the Generative Power of P Systems
Bernd REICHEL
A Remark on the Succinctness of Descriptions of Context-free Languages
by Cooperating Distributed Grammar Systems
Klaus REINHARDT
Die #a=#b Bilder sind erkennbar
Gernot SALZER
Helmut SEIDL
Margarethe SOUKUP
Ralf STIEBE
Node Replacement D0L Systems
Monika STURM
Karl SVOZIL
Quantum Information: the New Frontier
Heiko VOGLER
Johannes WALDMANN
Fixpunkte von Morphismen und Normalformen von Ersetzungssystemen
Klaus WICH
Sublineare Mehrdeutigkeit
Jens WOINOWSKI
A Normal Form for Church-Rosser Language Systems
Email:
rudi@logic.at
Homepage Rudolf Freund
Last Update: September, 16th 2000, 03:00 (RF)
pagemaster