1
0
0
(1 - 28 von 28
)
Frontdoor
www.bsz-bw.de
Volker Diekert verbessert Katajainens Ansatz und kann den viel zu hohen positiven Faktor des linearen Terms auf $18$ senken, was im Vergleich zu ...
MOVES: Software Modeling and Verification (Info 2)
www-i2.informatik.rwth-aachen.de
Daher läßt sich ein solches System im Gegensatz zu sequentiellen Programmen ... Volker Diekert and Grzegorz Rozenberg, editors: The Book of Traces, World ...
Volker Diekert - DBLPdblp.org › Persons
dblp.org
Volker Diekert, Manfred Kufleitner, Gerhard Rosenberger: Elemente der diskreten Mathematik - Zahlen und Zählen, Graphen und Verbände.
Volker Diekert - DBLPdblp.uni-trier.de › Volker Diekert
dblp.uni-trier.de
· Volker Diekert, Yuri V. Matiyasevich , Anca Muscholl: Solving Word Equations modulo Partial Commutations. Theor. Comput. Sci.
Search results for "Volker Diekert" – FacetedDBLP
dblp.l3s.uni-hannover.de
Volker Diekert(150) Manfred Kufleitner(21) Paul Gastin(18) Anca Muscholl(14) Markus Lohrey(8) Alexei G. Myasnikov(7) Steffen Kopecki(7) Armin Wei ...
dblp: 21. STACS 2004: Montpellier, France
dblp.uni-trier.de
Bibliographic content of 21. STACS 2004: Montpellier, France
Herr Prof. Dr. rer. nat. Volker Diekert | Fakultät 5: Informatik,...
www.f05.uni-stuttgart.de
Mitarbeiter-Profil : Prof. Dr. rer. nat. Volker Diekert, Theoretische Informatik, Institut für Formale Methoden der Informatik, Universität Stuttgart
dblp: 14. ICALP 1987: Karlsruhe, Germany
dblp1.uni-trier.de
Bibliographic content of 14. ICALP 1987: Karlsruhe, Germany
Volker Diekert. "Finding All Solutions of Equations in Free Groups...
logic.pdmi.ras.ru
Volker Diekert. "Finding All Solutions of Equations in Free Groups and Monoids with Involution". (joint with Artur Jeż and Wojciech Plandowski)
dblp: Alexei G. Myasnikov
dblp1.uni-trier.de
List of computer science publications by Alexei G. Myasnikov
Internationale Konferenz Geometric and Combinatorial Group Theorie...
reh.math.uni-duesseldorf.de
... Description ::::Description:::: Speakers ::::Minicourses::::Program::::Slides::::Registration ... Volker Diekert (University of …
dblp: 22. STACS 2005: Stuttgart, Germany
dblp.uni-trier.de
Bibliographic content of 22. STACS 2005: Stuttgart, Germany
Publications Markus Lohrey | Theoretische Informatik
www.eti.uni-siegen.de
Publications Markus Lohrey Submitted papers ... Logspace com…tions in Coxeter groups and graph groups (with Volker Diekert and Jonathan Kausch)
dblp: Computer Science Symposium in Russia
dblp.uni-trier.de
Bibliographic content of Computer Science Symposium in Russia
Recent Publications ( )
www.fmi.uni-stuttgart.de
Webseite des Institut für Formale Methoden der Informatik
dblp: Christian Hagenah
dblp.uni-trier.de
List of computer science publications by Christian Hagenah
ISP Oberseminar | ISP - Institute for Software Engineering and...
www.isp.uni-luebeck.de
ISP Oberseminar. Semester: SS Modul: ISP OS. Lecturer: Prof. Dr. Martin Leucker . Assistants: Normann Decker Volker Diekert, FMI, Universität Stuttgart:
dblp: International Journal of Algebra and Com…tion, Volume 27
dblp.org
Bibliographic content of International Journal of Algebra and Com…tion, Volume 27
Prof. Dr. Volker Diekertwww.pdmi.ras.ru › EIMI › tet00 › imig129
www.pdmi.ras.ru
Prof. Dr. Volker Diekert ... Application for participation in the EIMI program TETE-A-TETE IN RUSSIA I. Foreign participant(s) 1) last name: Diekert 2) given name ...
Projekt : Kleine Universelle Turing-Maschinen
www2.informatik.uni-hamburg.de
Es wird die Grenze zwischen Entscheidbarkeit und Unentscheidbarkeit untersucht Volker Diekert, Manfred Kudlek. Small Deterministic Turing Machines ...
Projekt Sprach-, Automaten- und Komplexitätstheorie
www2.informatik.uni-hamburg.de
In Volker Diekert and Dirk Nowotka, editors, Developments in Language Theory, 13th International Conference, DLT 2009, Stuttgart, Germany, June 30-July 3, ...
Project Language, Automata, and Complexity Theory
www2.informatik.uni-hamburg.de
In Volker Diekert and Dirk Nowotka, editors, Developments in Language Theory, 13th International Conference, DLT 2009, Stuttgart, Germany, June ...
sortiert nach Relevanz / Datum