Christian Pape (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

1 Bernhard Beckert, Christian Pape: Incremental Theory Reasoning Methods for Semantic Tableaux. TABLEAUX 1996: 93-109

Selection of 1 from 4 records - Christian Pape has 3 coauthors