Michael Dierkes

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

2000

2 Michael Dierkes: An Application of Model Building in a Resolution Decision Procedure for Guarded Formulas. Computational Logic 2000: 583-597

1999

1 Michael Dierkes: Simplification of Horn Clauses That Are Clausal Forms of Guarded Formulas. LPAR 1999: 286-303

	2000
2		Michael Dierkes: An Application of Model Building in a Resolution Decision Procedure for Guarded Formulas. Computational Logic 2000: 583-597
	1999
1		Michael Dierkes: Simplification of Horn Clauses That Are Clausal Forms of Guarded Formulas. LPAR 1999: 286-303