PROOF PROCEDURE
Experts
- Osman Hasan
- Evelina Lamma
- Sofiène Tahar
- Marco Gavanelli
- Camillo Fiorentini
- Mauro Ferrari
- Yang Xu
- Marco Alberti
- Josef Urban
- Francesca Toni
- Dale Miller
- Rajeev Goré
- Paola Mello
- Giorgi Japaridze
- David A. Plaisted
- Guido Fiorino
- Andrei Voronkov
- Asta Halkjær From
- Cezary Kaliszyk
- Yuefei Sui
- Paolo Torroni
- Nicola Olivetti
- Paolo Mancarella
- Jens Otten
- Jieh Hsiang
- Nicolas Peltier
- Maria Paola Bonacina
- Adnan Rashid
- Gert Smolka
- Marta Cialdea Mayer
- Joanna Golinska-Pilarek
- Luís Pinto
- Federico Chesani
- Harald Ganzinger
- David A. Basin
- Renate A. Schmidt
- Domenico Cantone
- Peter B. Andrews
- Gian Luca Pozzato
Venues
- CoRR
- CADE
- Notre Dame J. Formal Log.
- TABLEAUX
- J. Autom. Reason.
- J. Log. Comput.
- J. Symb. Log.
- TPHOLs
- Log. J. IGPL
- Stud Logica
- IJCAI
- Theor. Comput. Sci.
- Electron. Notes Theor. Comput. Sci.
- Math. Log. Q.
- LICS
- IJCAR
- LPAR
- CSL
- J. ACM
- Ann. Pure Appl. Log.
- J. Symb. Comput.
- Arch. Math. Log.
- Artif. Intell.
- ECAI
- J. Philos. Log.
- AAAI
- ACM Trans. Comput. Log.
- Fundam. Informaticae
- JELIA
- RTA
- Ann. Math. Artif. Intell.
- CILC
- Log. Methods Comput. Sci.
- Inf. Comput.
- FoSSaCS
- J. Log. Lang. Inf.
- MFCS
- J. Appl. Non Class. Logics
- ICLP
Related Topics
Related Keywords
Popularity