AD Scientific Index
 Open Nav
Login Login Pricing & Plans Pricing & Plans
Christoph Weidenbach

Christoph Weidenbach

Max Planck Institute for Informatics - Saarbrücken / Germany
Engineering & Technology / Computer Science
AD Scientific Index ID: 4430201
Max-Planck-Institut für Informatik
person_outline Christoph Weidenbach's MOST POPULAR ARTICLES
1-) SPASS Version 3.5 International Conference on Automated Deduction, 140-145, 2009
2-) Computing small clause normal forms Handbook of automated reasoning, 335-367, 2001
3-) SPASS: Combining superposition, sorts and splitting Handbook of automated reasoning 2, 1965-2013, 1999
4-) Towards an automatic analysis of security protocols in first-order logic International Conference on Automated Deduction, 314-328, 1999
5-) Spass Version 2.0 International Conference on Automated Deduction, 275-279, 2002