dblp.uni-trier.dewww.uni-trier.de

Heribert Schütz Vis

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

*2000
15 Heribert Schütz, Tim Geisler: Efficient Model Generation through Compilation. Inf. Comput. 162(1-2): 138-157 (2000)
1999
14 Heribert Schütz: Generating Minimal Herbrand Models Step by Step. TABLEAUX 1999: 263-277
1998
13 François Bry, Norbert Eisinger, Heribert Schütz, Sunna Torge: SIC: Satisfiability Checking for Integrity Constraints. DDLP 1998: 25-36
12EESlim Abdennadher, Heribert Schütz: CHRv: A Flexible Query Language. FQAS 1998: 1-14
1997
11EESlim Abdennadher, Heribert Schütz: Model Generation with Existentially Quantified Variables and Constraints. ALP/HOA 1997: 256-272
10 Tim Geisler, Sven Panne, Heribert Schütz: Satchmo - The Compiling and Functional Variants. J. Autom. Reasoning 18(2): 227-236 (1997)
1996
9EEHeribert Schütz, Tim Geisler: Efficient Model Generation through Compilation. CADE 1996: 433-447
8 François Bry, Rainer Manthey, Heribert Schütz: Deduktive Datenbanken. KI 10(3): 17-23 (1996)
1995
7EEWillem Jonker, Heribert Schütz: The ECRC Multi Database System. SIGMOD Conference 1995: 490
1994
6 Heribert Schütz: Tupelweise Bottom-up-Auswertung von Logikprogrammen. GI Datenbank Rundbrief 13: 90 (1994)
1993
5 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
4 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
3 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
2EEBurkhard Freitag, Heribert Schütz, Günther Specht: LOLA - A Logic Language for Deductive Databases and its Implementation. DASFAA 1991: 216-225
1EEJohann 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 © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)