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