Marc Fuchs (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

6 Marc Fuchs, Andreas Wolf: System Description: Cooperation in Model Elimination: CPTHEO. CADE 1998: 42-46

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