Vortrag |
Vortragender |
Am |
An Elementary Algorithmic Problem from an Advanced Standpoint |
Paz Azaria |
1994-06-10 |
Bisimulation, Games, and Logic |
Clausen Christian |
1994-06-11 |
Bisimulation, Games, and Logic |
Nielsen Mogens |
1994-06-11 |
Classifying Regular Languages by Their Syntactic Algebras |
Steinby Magnus |
1999-06-10 |
Comparing Descriptional and Computational Complexity of Infinite Words |
Hromkovic Juraj |
1994-06-10 |
Comparing Descriptional and Computational Complexity of Infinite Words |
Karhumäki Juhani |
1994-06-10 |
Comparing Descriptional and Computational Complexity of Infinite Words |
Lepistoe Arto |
1994-06-10 |
Cooperating Grammars´ System: Power and Parameters |
Csuhaj-Varjú Erzsébet |
1994-06-11 |
Cryptographic protocols and voting |
Niemi Valtteri |
1994-06-10 |
Cryptographic protocols and voting |
Renvall Ari |
1994-06-10 |
Cryptographic protocols for Auctions and Bargaining |
Nurmi H. |
1994-06-10 |
Decomposition of Infinite Labeled 2-structures |
Harju Tero |
1994-06-11 |
Decomposition of Infinite Labeled 2-structures |
Rozenberg Grcegorcz |
1994-06-11 |
Dynamic labeled 2-structures with variable domains |
Rozenberg Grcegorcz |
1994-06-11 |
Dynamic labeled 2-structures with variable domains |
Ehrenfeucht Andrzej |
1994-06-11 |
From Colonies to Eco(grammar)systems |
Kelemenova Alica |
1994-06-11 |
From Colonies to Eco(grammar)systems |
Kelemen Josef |
1994-06-11 |
Generalizing Cook´s Transformation to Imperative Stack Programs |
Andersen Nils |
1994-06-10 |
Generalizing Cook´s Transformation to Imperative Stack Programs |
Jones Neil D. |
1994-06-10 |
Homomorphic Representations by Products of Tree Automata |
Gecseg Ferenc |
1994-06-11 |
Learning Picture Sets from Examples |
Ottmann Thomas |
1994-06-10 |
Learning Picture Sets from Examples |
Fischer P. |
1994-06-10 |
Learning Picture Sets from Examples |
Brueggemann-Klein Anne |
1994-06-10 |
On (Left) Partial Shuffle |
Mateescu Alexandru |
1994-06-11 |
On General Solution of Word Equations |
Makanin Guenady S. |
1994-06-11 |
On General Solution of Word Equations |
Abdulrab Habib |
1994-06-11 |
On Polynomial Matrix Equations XT=p(X) and X=p(X) Where all Parameters are Nonnegative |
Turakainen Paavo |
1994-06-10 |
On Some Open Problems Concerning the Complexity of Cellular Arrays |
Jiang Tao |
1994-06-11 |
On Some Open Problems Concerning the Complexity of Cellular Arrays |
Ibarra Oscar H. |
1994-06-11 |
On the Multiplicity Equivalence Problem for Contextfree Grammars |
Kuich Werner |
1994-06-10 |
On the Size of Components of Cooperating Grammar Systems |
Paun Gheorghe |
1994-06-10 |
On the Size of Components of Cooperating Grammar Systems |
Dassow Jürgen |
1994-06-10 |
On the Size of Components of Cooperating Grammar Systems |
Skalla Stefan |
1994-06-10 |
Parallel pattern generation with one-way communications |
Culik II Karel |
1994-06-10 |
Parallel pattern generation with one-way communications |
Kari Jarkko Juhani |
1994-06-10 |
Power of controlled insertion and deletion |
Kari Lila |
1994-06-10 |
Randomness as an Invariant for Number Representations |
Calude Cristian S. |
1994-06-11 |
Randomness as an Invariant for Number Representations |
Juergensen Helmut |
1994-06-11 |
Reconsidering the Jeep Problem - Or How to Transport a Birthday Present to Salosauna |
Brauer Wilfried |
1994-06-10 |
Rediscovering Pushdown Machines |
Salomaa Arto |
1994-06-11 |
Rediscovering Pushdown Machines |
Wood Derick |
1994-06-11 |
Rediscovering Pushdown Machines |
Yu Sheng |
1994-06-11 |
Weighted Finite Transducers |
Culik II Karel |
1994-06-11 |