Edit Profile (opens in new tab) Pape, Christian Co-Author Distance Author ID: pape.christian Published as: Pape, Christian External Links: MGP Documents Indexed: 3 Publications since 1996 Co-Authors: 2 Co-Authors with 3 Joint Publications 89 Co-Co-Authors Co-Authors 0 single-authored 2 Hähnle, Reiner 1 Beckert, Bernhard Serials Fields 3 Mathematical logic and foundations (03-XX) 2 Computer science (68-XX) Publications by Year Citations contained in zbMATH Open 2 Publications have been cited 3 times in 3 Documents Cited by ▼ Year ▼ Incremental theory reasoning methods for semantic tableaux. Zbl 1412.68208 Beckert, Bernhard; Pape, Christian 2 1996 Ordered tableaux: extensions and applications. Zbl 1412.68230 Hähnle, Reiner; Pape, Christian 1 1997 Ordered tableaux: extensions and applications. Zbl 1412.68230 Hähnle, Reiner; Pape, Christian 1 1997 Incremental theory reasoning methods for semantic tableaux. Zbl 1412.68208 Beckert, Bernhard; Pape, Christian 2 1996 all top 5 Cited by 10 Authors 2 Beckert, Bernhard 1 Burel, Guillaume 1 Bury, Guillaume 1 Cauderlier, Raphaël 1 Delahaye, David 1 Hähnle, Reiner 1 Halmagrand, Pierre 1 Hermant, Olivier 1 Oel, Peter 1 Sulzmann, Martin Cited in 2 Serials 1 Journal of Symbolic Computation 1 Journal of Automated Reasoning Cited in 2 Fields 3 Computer science (68-XX) 2 Mathematical logic and foundations (03-XX) Citations by Year