Search results for: Bas Spitters
Journal of Automated Reasoning > 2019 > 63 > 2 > 211-253
Lecture Notes in Computer Science > Theorem Proving in Higher Order Logics > Logic Extensions > 205-220
Foundations of Physics > 2012 > 42 > 7 > 896-908
Mathematical Logic Quarterly > 57 > 4 > 373 - 378
Annals of Pure and Applied Logic > 2010 > 162 > 1 > 36-54
Theoretical Computer Science > 2010 > 411 > 37 > 3386-3402
Foundations of Physics > 2009 > 39 > 7 > 731-759
Communications in Mathematical Physics > 2009 > 291 > 1 > 63-110
Annals of Pure and Applied Logic > 2006 > 137 > 1-3 > 380-390
Indagationes Mathematicae > 2000 > 11 > 1 > 151-157