Schliessen
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-362Entwurf, Beschreibung und Implementation von Systemen mit Hilfe der nebenläufigen Programmiersprache CAP
In: GI-NTG-Fachtagung Struktur und Betrieb von Rechensystemen / Fachtagung Struktur und Betrieb von Rechensystemen <6, 1980, Kiel>, Jg. 1980, S. 205-216Executable specifications for language implementation
In: Programming language implementation and logic programming, Jg. 1993, S. 1-11Fast algorithms for n-dimensional restrictions of hard problems
In: STOC 1985, Jg. 1985, S. 413-420Five valued quasi Boolean functions
In: Fifth European Meeting on Cybernetics and Systems Research / European Meeting on Cybernetics and Systems Research <5, 1980, Wien>, Jg. 35.1980, S. 2-5The GAG-system : A tool for compiler construction
In: Methods and tools for compiler construction, Jg. 1984, S. 165-181Das Gedächtnis lernt laufen
vom Kerbholz zur virtuellen WirklichkeitIn: Cyberspace : Gemeinschaften, virtuelle Kolonien, Öffentlichkeiten, Jg. 1994, S. 207-228The hardware description language DACAPO III
In: Fundamentals and standards in hardware description languages, Jg. 1993, S. 395-409Hardwareimplementierung neuronaler Netze
In: Konnektionismus und Neuronale Netze, Jg. 1994, S. 117-128A hybrid knowledge processing architecture
In: Second International Conference on Intelligent Systems Engineering / International Conference on Intelligent Systems Engineering <2, 1994, Harburg, Hamburg>, Jg. 1994, S. 372-377Imparting practical skills in software engineering
In: Technik und Informationsgesellschaft, Jg. 1987, S. 517-522Implementation of visit-oriented attribute evaluators
In: Attribute grammars, applications and systems (Lecture notes in computer science : 545), Jg. 1991, S. 114-139Improving the concurrency of integrity checks and write operations
In: Proceedings / ICDT '90, Third International Conference on Database Theory, Paris, France, December 12 - 14, 1990, Jg. 1990, S. 259-273An inference engine for function free logic programs
In: Proceedings of the 2nd International IEEE Conference on Tools for Artificial Intelligence, Jg. 1990, S. 885-890Integrated predicative synchronization implemented in a federated DBMS
In: Tenth Annual International Phoenix Conference on Computers and Communications, Jg. 1991, S. 123-129Integrating a deductive database system with a Warren Abstract Machine
In: Proceedings of the International Symposium "Computational Intelligence 90", Jg. 1991, S. 19-24Integrierte Systementwicklung
In: Dialogsysteme in der Arbeitswelt, Jg. 1988, S. 205-228Das kognitive Perpetuum mobile
die Rolle von Computern mit künstlicher Intelligenz in der militärtechnologischen EntwicklungIn: Computer, Medien, Gesellschaft (Technik und Gesellschaft : 5), Jg. 1989, S. 105-124Das kognitive Schlachtfeld
In: Künstliche Intelligenz : Edition Universitas, Jg. 1990, S. 79-97