Institut für Informatik

Haugeneder, H.; Heyer, G.
Language Engineering
Wiesbaden: Vieweg Verlag, 1995

Gräbe, H.-G.
The tangent cone algorithm and homogenization
J. Pure Applied Algebra 97 (1995) S. 303-312

Gräbe, H.-G.
On factorized Gröbner bases
Computer algebra in science and engineering, World Scientific, Singapore, 1995, S. 77-89

Herre, H.
Generalized Compactness of Nonmonotonic Inference Operations
Journal of Applied Non-classical Logic, 1995, S. 121-135

Rahm, E.
Parallele Datenbanksysteme
Informix Vision, 1 (1995) S. 50-56

Engelfriet, J.; Herre, H.; Treuer, J.
Nonmonotonic Belief State Frames and reasoning Frames. In: Froidevaux; C.; Kohlhas, J. (Hg.): Proceedings of ECSQARU '95, LNAI vol. 946, Berlin, Springer, 1995, S. 189-196

Herre, H.
Theories of finitely determinate linear orderings in Stationary Logic. In: Krynicki, M. (Hg.): Quantifiers: Logics, Models and Computation, Kluwer academic publishers, 1995, S. 89-113

Herre, H.
Theory of linear order in extended logics. In: Krynicki, M. (Hg.): Quantifiers: Logics, Models and Computation, Kluwer academic publishers, 1995, S. 139-192

Heyer, G.
Elements of a Natural Language Processing Technology. In: Haugeneder, H. (Hg.), Heyer, G.: Language Engineering, Wiesbaden, Vieweg Verlag, 1995

Heyer, G.
On the notion of a Natural Language Products Technology. In: Hitzenberger, L.: Angewandte Computerlinguistik, Hildesheim, Georg Olms Verlag, 1995

Heyer, G.
Elektronisches Publizieren und Standards für wiederverwendbare elektronische Wörterbücher In: Gather, A.: Semiotische Prozesse und natürliche Sprache, Stuttgart, Steiner Verlag, 1995

Marek, R.; Rahm, E.
Dynamic Multi-Resource Load Balancing in Parallel Database Systems. In: Proc. 21th Int. Conf. on Verxy Large Database systems, Zürich, Sep. 1995, S. 395-406

Rahm, E.; Stöhr, T.
Analysis of Parallel Scan Processing in Shared Disk Database Systems. In: Proc. In. EURO-PAR Conf., Stockholm, August 1995, Lecture Notes in Computer Science 966, S. 485-500

Wagner, G.
From Information Systems to Knowledge Systems. In: Falkenberg, E. (Ed.), Proc. IFIP Conf. on Information Systems Concepts (ISCO-3), London, Chapman & Hall, 1995

Wagner, G.
A Logical and Operational Model of Scalable Knowledge- and Perceiption-Based Agents. In: Van de Velde and J.W. Perram (Eds.), Agents Breaking Away, LNAI 1038, New York, Springer, 1995, S. 26-41

Wagner, G.
Logics Based in Knowledge Representation systems. In: Fuhrmann, A.; Rott, H. (Eds.), Logic, Action and Information, 1995, S. 415-446

Hering, K.; Haupt, R.; Villmann, Th.
Cone-basierte, hierarchische Modellpartionierung zur parallelen compilergesteuerten Logiksimulation beim VLSI-Design
Report 13 (1995), Institut für Informatik, Universität Leipzig

Hering, K.; Haupt, R.; Villmann, Th.
An Improved Mixture of Experts Approach for Model Partitioning in VLSI-Design Using Genetic Algorithms
Report 14 (1995), Institut für Informatik, Universität Leipzig

Herre, H.; Jaspers, J.; Wagner, G.
Partial Logics with Two Kinds of Negation as a Foundation for Knowledge-Based Reasoning
Report 12 (1995), Institut für Informatik, Universität Leipzig, 1995, 43 S.

Herre, H.; Wagner, G.
A General Notation of Stable Models
Report 17 (1995), Institut für Informatik, Universität Leipzig, 1995

Herrmann, P.; Moehrke, U.; Schmidt, M.
Synthesis Tools for FPGA-Design
Report 15 (1995), Institut für Informatik, Universität Leipzig, 1995

Sosna, D.; Zschöttge, S.
Zellulare Automaten und ihre Anwendung bei der Modellierung von Wellenerscheinungen
Report 16 (1995), Institut für Informatik, Universität Leipzig, 1995

Apel, J.; Stückrad, J.; Tworzewski, P.; Winiarski, T.
Quasi-complete intersection ideals of height 2
Preprint NTZ 32/95, Universität Leipzig, 1995

Apel, J.; Stückrad, J.; Tworzewski, P.; Winiarski, T.
Intersections of sequences of ideals generated by polynomials
Preprint 1995/05, Instytut Matematyki, Universytet Krakow, 1995

Wagner, G.
Disjunctive Knowledge Bases
Report 11 (1995), Institut für Informatik, Universität Leipzig