168 Titel in Besondere Sammlungen → Veröffentlichungen der Universität → Fakultät für Elektrotechnik, Informatik und Mathematik → Institut für Informatik 1
zu den Filteroptionen168 Titel in Besondere Sammlungen → Veröffentlichungen der Universität → Fakultät für Elektrotechnik, Informatik und Mathematik → Institut für Informatik
1



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

Data distribution algorithms for storage networks
Paderborn : Heinz-Nixdorf-Inst., 2004




