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