Volgen
Christoph Weidenbach
Christoph Weidenbach
Professor of Computer Science, Max Planck Institute for Informatics, Saarland Informatics Campus
Geverifieerd e-mailadres voor mpi-inf.mpg.de - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
SPASS Version 3.5
C Weidenbach, D Dimova, A Fietzke, R Kumar, M Suda, P Wischnewski
International Conference on Automated Deduction, 140-145, 2009
3782009
SPASS: Combining superposition, sorts and splitting
C Weidenbach
Handbook of automated reasoning 2, 1965-2013, 1999
3001999
Computing small clause normal forms
A Nonnengart, C Weidenbach, I Stadtwald
2922001
Towards an automatic analysis of security protocols in first-order logic
C Weidenbach
International Conference on Automated Deduction, 314-328, 1999
2421999
Spass Version 2.0
C Weidenbach, U Brahm, T Hillenbrand, E Keen, C Theobald, D Topić
International Conference on Automated Deduction, 275-279, 2002
217*2002
System Description: Spass Version 1.0.0
C Weidenbach, B Afshordel, U Brahm, C Cohrs, T Engel, E Keen, ...
International Conference on Automated Deduction, 378-382, 1999
206*1999
Spass & flotter version 0.42
C Weidenbach, B Gaede, G Rock
International Conference on Automated Deduction, 141-145, 1996
1801996
System Description: Spass Version 1.0.0
C Weidenbach, B Afshordel, U Brahm, C Cohrs, T Engel, E Keen, ...
International Conference on Automated Deduction, 378-382, 1999
1071999
On generating small clause normal forms
A Nonnengart, G Rock, C Weidenbach
International Conference on Automated Deduction, 397-411, 1998
811998
SPASS-Version 0.49
C Weidenbach
Journal of Automated Reasoning 18 (2), 247-252, 1997
791997
Superposition modulo linear arithmetic SUP (LA)
E Althaus, E Kruglov, C Weidenbach
International Symposium on Frontiers of Combining Systems, 84-99, 2009
692009
A verified SAT solver framework with learn, forget, restart, and incrementality
JC Blanchette, M Fleury, P Lammich, C Weidenbach
Journal of Automated Reasoning 61 (1), 333-365, 2018
672018
Saturation-based decision procedures for extensions of the guarded fragment
Y Kazakov
622005
Towards Verification of the Pastry Protocol Using TLA + 
T Lu, S Merz, C Weidenbach
Formal Techniques for Distributed Systems, 244-258, 2011
522011
Towards Verification of the Pastry Protocol Using TLA + 
T Lu, S Merz, C Weidenbach
Formal Techniques for Distributed Systems, 244-258, 2011
522011
More spass with isabelle
JC Blanchette, A Popescu, D Wand, C Weidenbach
International Conference on Interactive Theorem Proving, 345-360, 2012
512012
Soft typing for ordered resolution
H Ganzinger, C Meyer, C Weidenbach
International Conference on Automated Deduction, 321-335, 1997
491997
First-order tableaux with sorts
C Weidenbach
Logic Journal of the IGPL 3 (6), 887-906, 1995
451995
Unification in extensions of shallow equational theories
F Jacquemard, C Meyer, C Weidenbach
International Conference on Rewriting Techniques and Applications, 76-90, 1998
441998
MSPASS: Subsumption Testing with SPASS.
U Hustadt, RA Schmidt, C Weidenbach
Description Logics, 1999
391999
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20