Heribert Schütz Home Page Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2000
j5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Heribert Schütz, Tim Geisler: Efficient Model Generation through Compilation. Inf. Comput. 162(1-2): 138-157 (2000)
1999
c10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Heribert Schütz: Generating Minimal Herbrand Models Step by Step. TABLEAUX 1999: 263-277
1998
c9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
François Bry, Norbert Eisinger, Heribert Schütz, Sunna Torge: SIC: Satisfiability Checking for Integrity Constraints. DDLP 1998: 25-36
c8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Slim Abdennadher, Heribert Schütz: CHRv: A Flexible Query Language. FQAS 1998: 1-14
1997
j4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Tim Geisler, Sven Panne, Heribert Schütz: Satchmo - The Compiling and Functional Variants. J. Autom. Reasoning 18(2): 227-236 (1997)
c7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Slim Abdennadher, Heribert Schütz: Model Generation with Existentially Quantified Variables and Constraints. ALP/HOA 1997: 256-272
1996
j3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
François Bry, Rainer Manthey, Heribert Schütz: Deduktive Datenbanken. KI 10(3): 17-23 (1996)
c6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Heribert Schütz, Tim Geisler: Efficient Model Generation through Compilation. CADE 1996: 433-447
1995
c5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Willem Jonker, Heribert Schütz: The ECRC Multi Database System. SIGMOD Conference 1995: 490
1994
j2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Heribert Schütz: Tupelweise Bottom-up-Auswertung von Logikprogrammen. GI Datenbank Rundbrief 13: 90 (1994)
1993
c4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Günther Specht, Burkhard Freitag, Heribert Schütz: AMOS: A Natural Language Parser written in LOLA. Workshop on Programming with Logic Databases (Informal Proceedings), ILPS 1993: 124-133
c3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Burkhard Freitag, Heribert Schütz, Günther Specht: Overview of the deductive database system LOLA. Workshop on Programming with Logic Databases (Informal Proceedings), ILPS 1993: 166
1992
c2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Burkhard Freitag, Heribert Schütz, Günther Specht, Rudolf Bayer, Ulrich Güntzer: LOLA - ein deduktives Datenbanksystem. Objektbanken für Experten 1992: 1-28
1991
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Johann Kempe, T. Lenz, Burkhard Freitag, Heribert Schütz, Günther Specht: CL/TB an allegro common Lisp programming interface for TransBase. SIGPLAN Notices 26(8): 60-69 (1991)
c1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Burkhard Freitag, Heribert Schütz, Günther Specht: LOLA - A Logic Language for Deductive Databases and its Implementation. DASFAA 1991: 216-225

Coauthor Index

1Slim Abdennadher
[c8] [c7]
2Rudolf Bayer
[c2]
3François Bry (François Bry-Haußer)
[c9] [j3]
4Norbert Eisinger
[c9]
5Burkhard Freitag
[c4] [c3] [c2] [j1] [c1]
6Tim Geisler
[j5] [j4] [c6]
7Ulrich Güntzer
[c2]
8Willem Jonker
[c5]
9Johann Kempe
[j1]
10T. Lenz
[j1]
11Rainer Manthey
[j3]
12Sven Panne
[j4]
13Günther Specht
[c4] [c3] [c2] [j1] [c1]
14Sunna Torge
[c9]

Colors in the list of coauthors

Last update Fri May 24 01:03:51 2013 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page