1 research outputs found
A Bibliography on Analytic Tableaux Theorem Proving
- Author
- A Avron
- A Bloesch
- A Buchsbaum
- A Heyting
- A Nakamura
- A Tarski
- A Tarski
- B Beckert
- B Beckert
- B Beckert
- B Beckert
- B Beckert
- B Beckert
- B Beckert
- B Davidson
- C Belleannée
- C Goller
- C Groeneboer
- C Weidenbach
- CA Johnson
- CC Chang
- D Nardi
- D Prawitz
- D Prawitz
- DW Loveland
- E Eder
- E Eder
- E Eder
- E Orlowska
- E. W
- EA Emerson
- EA Emerson
- EW Beth
- EW Beth
- F Massacci
- F Oppacher
- G Gentzen
- G Governatori
- G Mints
- G Mints
- G Neugebauer
- G Neugebauer
- G Neugebauer
- G Rousseau
- G Sidebottom
- G Wrightson
- G Wrightson
- GE Hughes
- GL Mogilevskii
- GL Mogilevskii
- GV Davydov
- HCM Swart
- HF Chau
- I Anellis
- I Anellis
- J Coldwell
- J Coldwell
- J Coldwell
- J Goubault
- J Hintikka
- J Hintikka
- J Hintikka
- J Hudelmaier
- J Hudelmaier
- J Komara
- J Otten
- J Schröder
- J Schumann
- J Underwood
- J. C
- JH Gallier
- JJ Lu
- JL Bell
- JM Dunn
- JM Dunn
- JR Kenevan
- K Aspetsberger
- K Bowen
- K Broda
- K Matsumoto
- K Mayr
- K Schneider
- K Schröter
- K Wallace
- KJ Wallace
- L Catach
- L Wallen
- LA Wallen
- LA Wallen
- M Baaz
- M Baaz
- M Clausen
- M D’Agostino
- M D’Agostino
- M Grundy
- M Grundy
- M Kohlhase
- M Koshimura
- M Mondadori
- M Ohnishi
- M Ohnishi
- M Ohnishi
- M Takahashi
- M. C
- M. C
- M. D’Agostino
- M. Ohnishi
- MC Fitting
- MC Fitting
- MC Fitting
- MC Fitting
- MC Fitting
- MC Fitting
- MC Fitting
- MC Fitting
- MC Fitting
- MC Fitting
- MC Fitting
- MC Fitting
- MC Fitting
- MC Fitting
- MC Mayer
- MC Mayer
- ME Stickel
- N Olivetti
- N Rescher
- N Shankar
- N Zabel
- ND Belnap Jr
- NV Murray
- NV Murray
- O Astrachan
- O Astrachan
- P Baumgartner
- P Baumgartner
- P Baumgartner
- P Baumgartner
- P Bystrov
- P Doherty
- P Groote
- P Hertz
- P Miglioli
- P Miglioli
- P Miglioli
- P. B. Andrews
- PB Andrews
- PB Thistlewaite
- PH Schmitt
- PH Schmitt
- R
- R Baumgartner
- R Caferra
- R Caferra
- R Caferra
- R Feys
- R Goré
- R Goré
- R Goré
- R Hähnle
- R Hähnle
- R Hähnle
- R Hähnle
- R Hähnle
- R Hähnle
- R Johnson
- R Johnson
- R Letz
- R Letz
- R Li
- R Pliugkevioius
- R Smullyan
- R. H. Cowen
- R. Letz
- RA Bull
- RC Jeffrey
- RH Cowen
- RH Cowen
- RJ Popplestone
- RJGB Queiroz
- RK Meyer
- RL Slaght
- RM Smullyan
- RM Smullyan
- RM Smullyan
- RM Smullyan
- RM Smullyan
- RW Binkley
- S BrĂĽning
- S Klingenbeck
- S Klingenbeck
- S Kripke
- S Kripke
- S Kripke
- S Kripke
- S Lorenz
- S Schmitt
- S Toledo
- SC Kleene
- SJ Surma
- SV Reeves
- SV Reeves
- SV Reeves
- T Mccarty
- T Mccarty
- U Assmann
- U Petermann
- U Petermann
- U Petermann
- U. Petermann
- V Risch
- V Risch
- V Vialard
- V. Risch
- VG Kirin
- W Bibel
- W Bibel
- W Bibel
- W Bibel
- W Bibel
- W Bibel
- W Bibel
- W Bibel
- W Suchon
- WA Carnielli
- WA Carnielli
- Z. Lis
- Zabel
- Publication venue
- 'Springer Science and Business Media LLC'
- Publication date
- 01/01/1999
- Field of study