253 Titel in Besondere Sammlungen → Veröffentlichungen der Universität → Fakultät für Elektrotechnik, Informatik und Mathematik
253 Titel in Besondere Sammlungen → Veröffentlichungen der Universität → Fakultät für Elektrotechnik, Informatik und Mathematik
How to find long paths efficiently
In: Annals of Discrete Mathematics, Jg. 25.1985, S. 239-254
The hyperboloid as ordered symmetric space
In: Seminar Sophus Lie, Jg. 1.1991, S. 135-141Implementation 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-890Infinitesimally generated subsemigroups of motion groups
In: Rocky Mountain Journal of Mathematics, Jg. 1991, S. 865-878Integrable nonlinear evolution equations with time-dependent coefficients
In: Journal of Mathematical Physics, Jg. 1993, S. 5140-5158Integrated 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-24The internal rate of return of an investment
In: Applications and Modelling in Learning and Teaching Mathematics, Jg. 1989, S. 195-200An introduction to locally convex inductive limits
In: Functional analysis and its applications, Jg. 1988, S. 35-133Invariant Lorentzian orders on simply connected Lie groups
In: Arkiv för Matematik, Jg. 1988, S. 107-115Iterations and fixpoints
In: Pacific Journal of Mathematics, Jg. 1977, S. 73-80The kernel of an irreducible map
In: Proceedings of the American Mathematical Society, Jg. 1994, S. 57-66Lattices and Choquet's theorem
In: Journal of Functional Analysis, Jg. 1974, S. 377-387The 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-382