Michel Ludwig

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

2009

2 Michel Ludwig, Ullrich Hustadt: Fair Derivations in Monodic Temporal Reasoning. CADE 2009: 261-276

2007

1 Michel Ludwig, Uwe Waldmann: An Extension of the Knuth-Bendix Ordering with LPO-Like Properties. LPAR 2007: 348-362

	2009
2		Michel Ludwig, Ullrich Hustadt: Fair Derivations in Monodic Temporal Reasoning. CADE 2009: 261-276
	2007
1		Michel Ludwig, Uwe Waldmann: An Extension of the Knuth-Bendix Ordering with LPO-Like Properties. LPAR 2007: 348-362

Coauthor Index

1 Ullrich Hustadt [2]

2 Uwe Waldmann [1]

Colors in the list of coauthors