Heribert Schütz Home Page Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2000
15no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHeribert Schütz, Tim Geisler: Efficient Model Generation through Compilation. Inf. Comput. 162(1-2): 138-157 (2000)
1999
14no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHeribert Schütz: Generating Minimal Herbrand Models Step by Step. TABLEAUX 1999: 263-277
1998
13no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrançois Bry, Norbert Eisinger, Heribert Schütz, Sunna Torge: SIC: Satisfiability Checking for Integrity Constraints. DDLP 1998: 25-36
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSlim Abdennadher, Heribert Schütz: CHRv: A Flexible Query Language. FQAS 1998: 1-14
1997
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSlim Abdennadher, Heribert Schütz: Model Generation with Existentially Quantified Variables and Constraints. ALP/HOA 1997: 256-272
10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTim Geisler, Sven Panne, Heribert Schütz: Satchmo - The Compiling and Functional Variants. J. Autom. Reasoning 18(2): 227-236 (1997)
1996
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHeribert Schütz, Tim Geisler: Efficient Model Generation through Compilation. CADE 1996: 433-447
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrançois Bry, Rainer Manthey, Heribert Schütz: Deduktive Datenbanken. KI 10(3): 17-23 (1996)
1995
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWillem Jonker, Heribert Schütz: The ECRC Multi Database System. SIGMOD Conference 1995: 490
1994
6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHeribert Schütz: Tupelweise Bottom-up-Auswertung von Logikprogrammen. GI Datenbank Rundbrief 13: 90 (1994)
1993
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGü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
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBurkhard 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
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBurkhard Freitag, Heribert Schütz, Günther Specht, Rudolf Bayer, Ulrich Güntzer: LOLA - ein deduktives Datenbanksystem. Objektbanken für Experten 1992: 1-28
1991
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBurkhard Freitag, Heribert Schütz, Günther Specht: LOLA - A Logic Language for Deductive Databases and its Implementation. DASFAA 1991: 216-225
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohann 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)

Coauthor Index

1Slim Abdennadher [11] [12]
2Rudolf Bayer [3]
3François Bry (François Bry-Haußer) [8] [13]
4Norbert Eisinger [13]
5Burkhard Freitag [1] [2] [3] [4] [5]
6Tim Geisler [9] [10] [15]
7Ulrich Güntzer [3]
8Willem Jonker [7]
9Johann Kempe [1]
10T. Lenz [1]
11Rainer Manthey [8]
12Sven Panne [10]
13Günther Specht [1] [2] [3] [4] [5]
14Sunna Torge [13]

Colors in the list of coauthors

Copyright © Sun Mar 14 22:39:24 2010 by Michael Ley (ley@uni-trier.de)