Marc Fuchs (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo

11 Marc Fuchs, Dirk Fuchs: Abstraction-Based Relevancy Testing for Model Elimination. CADE 1999: 344-358

10 Marc Fuchs, Dirk Fuchs, Matthias Fuchs: Generating Lemmas for Tableau-based Proof Search Using Genetic Programming. GECCO 1999: 1027-1032

8 Dirk Fuchs, Marc Fuchs: Cooperation between Top-Down and Bottom-Up Theorem Provers. J. Artif. Intell. Res. (JAIR) 10: 169-198 (1999)

Selection of 3 from 13 records - Marc Fuchs has 5 coauthors

11		Marc Fuchs, Dirk Fuchs: Abstraction-Based Relevancy Testing for Model Elimination. CADE 1999: 344-358
10		Marc Fuchs, Dirk Fuchs, Matthias Fuchs: Generating Lemmas for Tableau-based Proof Search Using Genetic Programming. GECCO 1999: 1027-1032
8		Dirk Fuchs, Marc Fuchs: Cooperation between Top-Down and Bottom-Up Theorem Provers. J. Artif. Intell. Res. (JAIR) 10: 169-198 (1999)