108 Titles in Besondere Sammlungen → Veröffentlichungen der Universität → Fakultät für Elektrotechnik, Informatik und Mathematik → Institut für Informatik 2
jump to filter-options108 Titles in Besondere Sammlungen → Veröffentlichungen der Universität → Fakultät für Elektrotechnik, Informatik und Mathematik → Institut für Informatik
2
About the derivation languages of grammars and machines
In: Automata, languages and programming, Vol. 4.1977, page 337-351
Abstract interfaces for compiler generating tools
In: Compiler compilers and high speed compilation, Vol. 1989, page 103-114



Attribute grammars as a specification method
In: Attribute grammars, applications and systems (Lecture notes in computer science : 545), Vol. 1991, page 16-47
Attribute grammars system in a compiler construction environment
In: Attribute grammars, applications and systems, Vol. 1991, page 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.>, Vol. 1990, page 503-509

The bandwidth-minimization problem for caterpillars with hair length 3 is NP-complete
In: SIAM journal on algebraic and discrete methods, Vol. 7.1986 Issue 4, page 505-512
Characterizations of time-bounded computations by limited primitive recursion
In: Automata, languages and programming, Vol. 2.1974, page 280-293
Compilation for instruction parallel processors
In: Compiler compilers, Vol. 1990, page 179-192
The complexity of embedding graphs into binary trees
In: Fundamentals of computation theory, Vol. 5, page 300-309
Construction of application generators using Eli
Paderborn, 1994


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-176

Dynamics and efficiency in topological self-stabilization
Elektronische Ressource, Paderborn, 2016
