124 Titles in Besondere Sammlungen → Veröffentlichungen der Universität → Fakultät für Elektrotechnik, Informatik und Mathematik → Institut für Informatik 1
jump to filter-options124 Titles in Besondere Sammlungen → Veröffentlichungen der Universität → Fakultät für Elektrotechnik, Informatik und Mathematik → Institut für Informatik
1
Deterministic two-way one-head pushdown automata are very powerful
In: Information processing letters, Vol. 18.1984, page 239-242
Development and programming of deductive databases with PROTOS-L
In: How knowledge engineering methods can be applied to software engineering, and how software engineering methods can be applied to knowledge engineering, Vol. 1990, page 171-176Dynamics and efficiency in topological self-stabilization
Elektronische Ressource, Paderborn, 2016Eigenschaften von Programmiersprachen
definiert durch attributierte GrammatikenIn: Programmiersprachen und Programmentwicklung, Vol. 6, page 157-174Elementary actions on an extended entity-relationship database
In: Graph grammars and their application to computer science, Vol. 1991, page 344-362Erläuterungen zur attributierten Grammatik für PEARL
In: PEARL-Rundschau, Vol. 2.1981 Issue 3, page 19-31Executable specifications for language implementation
In: Programming language implementation and logic programming, Vol. 1993, page 1-11Existence and properties of pure nash equilibria in budget games
Elektronische Ressource, Paderborn, 2016Fail-high reductions
In: Advances in Computer Chess 7, Vol. 1994, page 111-128Fuzzy matching of comprehensive service specifications
Elektronische Ressource, Paderborn, 2016The GAG-system : A tool for compiler construction
In: Methods and tools for compiler construction, Vol. 1984, page 165-181