Publications :: Search

Show author

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

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

Show item 1 to 2 of 2

Select a publication
Show	Title	Venue	Rating	Date
	Michael Dierkes. An Application of Model Building in a Resolution Decision Procedure for Guarded Formulas.	Computational Logic - CL 2000, First International Conference, London, UK, 24-28 July, 2000, Proceedings 2000	(0)	2000
	Michael Dierkes. Simplification of Horn Clauses That Are Clausal Forms of Guarded Formulas.	Logic Programming and Automated Reasoning, 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings 1999	(0)	1999

Your query returned 2 matches in the database.