Publications :: Search

Show author

On this page you see the details of the selected author.

Author information
First name:	Heribert
Last name:	Schütz
DBLP:	s/HeribertSchutz
Rating:	(not rated yet)
Bookmark:

Below you find the publications which have been written by this author.

Show item 1 to 10 of 15  

Select a publication
Show	Title	Venue	Rating	Date
	Heribert Schütz, Tim Geisler. Efficient Model Generation through Compilation.	Inf. Comput. 2000, Volume 162	(0)	2000
	Heribert Schütz. Generating Minimal Herbrand Models Step by Step.	Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, TABLEAUX '99, Saratoga Springs, NY, USA, June 7-11, 1999, Proceedings 1999	(0)	1999
	François Bry, Norbert Eisinger, Heribert Schütz, Sunna Torge. SIC: Satisfiability Checking for Integrity Constraints.	DDLP 1998	(0)	1998
	Slim Abdennadher, Heribert Schütz. CHRv: A Flexible Query Language.	Flexible Query Answering Systems, Third International Conference, FQAS'98, Roskilde, Denmark, May 13-15, 1998, Proceedings 1998	(0)	1998
	Slim Abdennadher, Heribert Schütz. Model Generation with Existentially Quantified Variables and Constraints.	Algebraic and Logic Programming, 6th International Joint Conference, ALP '97 - HOA '97, Southampton, U.K., Spetember 3-5, 1997, Proceedings 1997	(0)	1997
	Tim Geisler, Sven Panne, Heribert Schütz. Satchmo - The Compiling and Functional Variants.	J. Autom. Reasoning 1997, Volume 18	(0)	1997
	Heribert Schütz, Tim Geisler. Efficient Model Generation through Compilation.	Automated Deduction - CADE-13, 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30 - August 3, 1996, Proceedings 1996	(0)	1996
	François Bry, Rainer Manthey, Heribert Schütz. Deduktive Datenbanken.	KI 1996, Volume 10	(0)	1996
	Willem Jonker, Heribert Schütz. The ECRC Multi Database System.	Proceedings of the 1995 ACM SIGMOD International Conference on Management of Data, San Jose, California, May 22-25, 1995. 1995	(0)	1995
	Heribert Schütz. Tupelweise Bottom-up-Auswertung von Logikprogrammen.	GI Datenbank Rundbrief 1994, Volume 13	(0)	1994

Your query returned 15 matches in the database.