37 Titel in Besondere Sammlungen → Veröffentlichungen der Universität → Fakultät für Elektrotechnik, Informatik und Mathematik → Institut für Informatik 2
zu den Filteroptionen37 Titel in Besondere Sammlungen → Veröffentlichungen der Universität → Fakultät für Elektrotechnik, Informatik und Mathematik → Institut für Informatik
2
Integrating a deductive database system with a Warren Abstract Machine
In: Proceedings of the International Symposium "Computational Intelligence 90", Jg. 1991, S. 19-24
The LBA-problem and the deterministic tape complexity of two-way one-counter languages over a one-letter alphabet
In: Acta Informatica, Jg. 8.1977, S. 371-382Lifetime analysis for attributes
In: Acta Informatica, Jg. 24.1987 H. 6, S. 633-652On a subclass of pseudopolynomial problems
In: Mathematical Foundations of Computer Science, Jg. 9, S. 414-425On transactions in logic programming languages
In: Logic programming : proceedings of the Eighth International Conference [on Logic Programming, held in Paris, France, June 24 - 28, 1991]Ordered attributed grammars
In: Acta Informatica, Jg. 13.1980 H. 3, S. 229-256A recursive and a grammatical characterization of the exponential-time languages
In: Theoretical Computer Science, Jg. 3.1976 H. 3, S. 61-74Relationships between pushdown automata and tape-bounded turing machines
In: Automata, languages and programming, Jg. 1973, S. 575-583Relationships between pushdown automata with counters and complexity classes
In: Mathematical systems theory, Jg. 9.1975 H. No. 3, S. 248-264The ring machine
In: Computers and artificial intelligence, Jg. 1987, S. 195-208A semantics for the integration of database modifications and transaction brackets into a logic programming language
In: Information systems and artificial intelligence / Workshop on Information Systems and Artificial Intelligence, Jg. 1990, S. 1-10Simulating binary trees on x-trees
In: 3rd Annual ACM Symposium on Parallel Algorithms and Architectures / Symposium on Parallel Algorithms and Architectures <3, 1991, Hilton Head Island, SC>, S. 147-158Solving linear graphical constraint expressions
In: Human-computer interaction / International Conference on Human Computer Interaction <5, 1993, Orlando, Fla.>, Jg. 3.1993 Poster session, 267 SeitenA tool kit for knowledge based production planning systems
In: Database and expert systems applications, Jg. 1990, S. 84-89Transformational methods and their application to complexity problems
In: Acta Informatica, Jg. 6.1976, S. 95-108Two-way multihead automata over a one-letter alphabet
In: R.A.I.R.O Informatique théorique, Jg. 14.1980, S. 67-82Using transaction import statements for integrity control optimization
In: Computer applications and design abstraction, 1992 / Energy Sources Technology Conference and Exhibition <1992, Houston, Tex.>, Jg. 1992, S. 91-98