root.skip-to-content
English
Deutsch
Anmelden
Benutzername
Passwort
Anmelden
Passwort vergessen?
Infos zur Registrierung
Bereiche & Sammlungen
Das gesamte Repositorium
Info
English
Deutsch
Anmelden
Benutzername
Passwort
Anmelden
Passwort vergessen?
Infos zur Registrierung
Startseite
JLUdocs
Schriftenreihen
FB 07 - Mathematik und Informatik, Physik, Geographie
IFIG Research Report
Titel
IFIG Research Report
Dauerhafte URI für die Sammlung
jlupub.ub.uni-giessen.de/handle/jlupub/7512
Bis 1996 unter dem Titel:
Bericht / Arbeitsgruppe Informatik
URN: urn:nbn:de:hebis:26-opus-12462
Stöbern nach
Neue Veröffentlichungen
Erscheinungsjahr
Titel
Typ
Autor:in
Fachbereich/Einrichtung
Neue Veröffentlichungen
Erscheinungsjahr
Titel
Typ
Autor:in
Fachbereich/Einrichtung
Auflistung IFIG Research Report nach Titel
Los
Gerade angezeigt
1 - 20 von 59
Treffer pro Seite
1
5
10
20
40
60
80
100
Sortieroptionen
Aufsteigend
Absteigend
18. Theorietag "Automaten und Formale Sprachen" : Wettenberg-Launsbach bei Gießen 30. September - 2. Oktober 2008
1
A first-order representation of stable models
1
A note on the computational complexity of some problems for self-verifying finite automata
1
A Short Comment on Controlled Context-Free Grammar Derivations
1
A Time Hierarchy for Bounded One-Way Cellular Automata
1
Automata 2013 : exploratory papers ; 19th International Workshop on Cellular Automata and Discrete Complex Systems, Giessen, Germany, Sept. 17-19, 2013
1
Automata arrays and context-free languages
1
Below linear-time : Dimensions versus time
1
Cellular automata with sparse communication
1
Comments on Monoids Induced by NFAs
1
Computing intersections of Horn theories for reasoning with models
1
Decision lists and related Boolean functions
1
Descriptional complexity of pushdown store languages
1
Deterministic set automata
1
Deterministic Turing machines in the range between real-time and linear-time
1
Economy of Description for Basic Constructions on Rational Transductions
1
Efficient universal pushdown cellular automata and their application to complexity
1
Enhancing symbolic model checking by AI techniques
1
Existential second-order logic over strings
1
Fast One-Way Cellular Automata
1
«
1
(current)
2
3
»