46 Titel in Besondere Sammlungen → Veröffentlichungen der Universität → Fakultät für Elektrotechnik, Informatik und Mathematik → Institut für Informatik 1
zu den Filteroptionen46 Titel in Besondere Sammlungen → Veröffentlichungen der Universität → Fakultät für Elektrotechnik, Informatik und Mathematik → Institut für Informatik
1
About the derivation languages of grammars and machines
In: Automata, languages and programming, Jg. 4.1977, S. 337-351
Abstract interfaces for compiler generating tools
In: Compiler compilers and high speed compilation, Jg. 1989, S. 103-114
ALSI : Eine höhere Programmiersprache zur Transformation von ALGOL-68-Verbunden in SIMULA-Klassen
In: Fachtagung über Programmiersprachen, Jg. 3, S. 162-172
Attribute grammars as a specification method
In: Attribute grammars, applications and systems (Lecture notes in computer science : 545), Jg. 1991, S. 16-47
Attribute grammars system in a compiler construction environment
In: Attribute grammars, applications and systems, Jg. 1991, S. 380-400
Attribute inheritance implemented on top of a relational database system
In: Data engineering / International Conference on Data Engineering <6, 1990, Los Angeles, Calif.>, Jg. 1990, S. 503-509
The bandwidth-minimization problem for caterpillars with hair length 3 is NP-complete
In: SIAM journal on algebraic and discrete methods, Jg. 7.1986 H. 4, S. 505-512
Benutzerschnittstelle und Architektur der integrierten Datenbankentwurfsumgebung CADDY
In: Abstracts des Workshops Grundlagen von Datenbanken, Jg. 1989, S. 1-2
Ein Beweisverfahren für Datenbankprädikate
In: Proc. of the German Workshop on Artificial Intelligence, GW AI-85, Informatik-Fachberichte 118, Jg. 9.1985, S. 164-175
CADDY-O
syntaxgestütztes, graphisches Entwerfen konzeptioneller DatenbankschemataIn: Notizen zu interaktiven Systemen, Jg. 17.1989 H. 18, S. 1-16
Characterizations of time-bounded computations by limited primitive recursion
In: Automata, languages and programming, Jg. 2.1974, S. 280-293
Compilation for instruction parallel processors
In: Compiler compilers, Jg. 1990, S. 179-192
The complexity of embedding graphs into binary trees
In: Fundamentals of computation theory, Jg. 5, S. 300-309
Deterministic two-way one-head pushdown automata are very powerful
In: Information processing letters, Jg. 18.1984, S. 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, Jg. 1990, S. 171-176
Eigenschaften von Programmiersprachen
definiert durch attributierte GrammatikenIn: Programmiersprachen und Programmentwicklung, Jg. 6, S. 157-174
Elementary actions on an extended entity-relationship database
In: Graph grammars and their application to computer science, Jg. 1991, S. 344-362
Erläuterungen zur attributierten Grammatik für PEARL
In: PEARL-Rundschau, Jg. 2.1981 H. 3, S. 19-31
Executable specifications for language implementation
In: Programming language implementation and logic programming, Jg. 1993, S. 1-11
Fail-high reductions
In: Advances in Computer Chess 7, Jg. 1994, S. 111-128
