| | |
- CSB - MetaPress - Google - Bing - Yahoo
Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo
| 4 |       | Michel Ludwig, Ullrich Hustadt: Implementing a fair monodic temporal logic prover. AI Commun. 23(2-3): 69-96 (2010) |
| 3 | | Michel Ludwig, Ullrich Hustadt: Fair Derivations in Monodic Temporal Reasoning. CADE 2009: 261-276 |
| 2 | | Michel Ludwig, Ullrich Hustadt: Resolution-Based Model Construction for PLTL. TIME 2009: 73-80 |
Selection of 3 from 6 records - Michel Ludwig has 7 coauthors
Last update 2012-02-19 CET by the DBLP Team —
Content released under the ODC-BY 1.0 license — See also our legal information page