Skip navigation
Zur Startseite
Auflistung nach
Bereiche
& Sammlungen
Auflistung nach:
Erscheinungsdatum
Autor
Titel
Schriftenreihe
Institut
Hilfe
Über OPUS
Publizieren mit OPUS
Rechtliche Informationen
Suchen & Browsen
Anmelden:
Mein OPUS
Abonnement
Neuerscheinungen
Benutzerprofil bearbeiten
Universität Stuttgart
OPUS - Online Publikationen der Universität Stuttgart
Deutsch
English
OPUS
Suche
Suche:
Gesamter Bestand
Universität Stuttgart
05 Fakultät Informatik, Elektrotechnik und Informationstechnik
nach
Aktuelle Facetten:
Titel
Autor
Dokumentart
Institut
Erscheinungsdatum
Entspricht
Enthält
ID
Entspricht nicht
Enthält nicht
Keine ID
Titel
Autor
Dokumentart
Institut
Erscheinungsdatum
Entspricht
Enthält
ID
Entspricht nicht
Enthält nicht
Keine ID
Neue Suche starten
Facetten hinzufügen:
Wenden Sie Filter/Facetten an, um Ihre Suche zu verfeinern.
Titel
Autor
Dokumentart
Institut
Erscheinungsdatum
Entspricht
Enthält
ID
Entspricht nicht
Enthält nicht
Keine ID
Treffer 1-10 von 32 (Suchzeit: 0.014 Sekunden).
Zurück
1
2
3
4
Weiter
Treffer Dokumente:
Erscheinungsdatum
Titel
Autor(en)
2005
Ambiguity functions of context-free grammars and languages
Wich, Klaus
2005
First order and counting theories of omega-automatic structures
Kuske, Dietrich
;
Lohrey, Markus
2004
Deriving bisimulation congruences in the DPO approach to graph rewriting. Long version
Ehrig, Hartmut
;
König, Barbara
2003
Computational and logical aspects of infinite monoids
Lohrey, Markus
2006
Logical fragments for Mazurkiewicz traces : expressive power and algebraic characterizations
Kufleitner, Manfred
2006
Komplexitäts- und Entscheidbarkeitsresultate für inverse Monoide mit idempotenter Präsentation
Ondrusch, Nicole
2004
Complexity results for checking distributed implementability
Heljanko, Keijo
;
Stefanescu, Alin
2006
Infinite state model checking of propositional dynamic logics
Göller, Stefan
;
Lohrey, Markus
2006
Counterexample-guided abstraction refinement for the analysis of graph transformation systems
König, Barbara
;
Kozioura, Vitali
2006
Abstraction refinement with craig interpolation and symbolic pushdown systems
Esparza, Javier
;
Kiefer, Stefan
;
Schwoon, Stefan
Facetten
Autor
7
Lohrey, Markus
5
Kufleitner, Manfred
4
Esparza, Javier
4
König, Barbara
4
Schwoon, Stefan
2
Buchholz, Friedhelm
2
Diekert, Volker
2
Göller, Stefan
2
Ondrusch, Nicole
2
Stefanescu, Alin
.
weiter>
Dokumentart
20
Arbeitspapier
8
Dissertation
3
Habilitation
1
Abschlussarbeit (Diplom)
Institut
1
Sonstige Einrichtung
Erscheinungsdatum
1
2009
1
2007
10
2006
8
2005
5
2004
1
2003
2
2002
1
2001
3
2000