PREDICATE CALCULUS
Experts
- Simona Ronchi Della Rocca
- Ugo Dal Lago
- Frank Pfenning
- Osman Hasan
- Jan Willem Klop
- José Meseguer
- David A. Plaisted
- Ralph Matthes
- Sofiène Tahar
- Gilles Dowek
- Alejandro Díaz-Caro
- Antonino Salibra
- Murdoch James Gabbay
- Miika Hannula
- Ugo de'Liguoro
- Yang Xu
- Lars Birkedal
- Manfred Schmidt-Schauß
- Hongwei Xi
- Maria Paola Bonacina
- Cosimo Laneve
- Fer-Jan de Vries
- Stuart C. Shapiro
- David Sabel
- Yehoshua Perl
- Paula Severi
- Gert Smolka
- Martin W. Bunder
- Einar Broch Johnsen
- Christoph Wernhard
- Furio Honsell
- Asta Halkjær From
- James Geller
- José Espírito Santo
- Andrei Voronkov
- Henk Barendregt
- Angelo Montanari
- Nicole Schweikardt
- Eyal Amir
Venues
- CoRR
- Theor. Comput. Sci.
- LICS
- CADE
- IJCAI
- J. Symb. Log.
- Electron. Notes Theor. Comput. Sci.
- Notre Dame J. Formal Log.
- Ann. Pure Appl. Log.
- J. Autom. Reason.
- J. Log. Comput.
- Log. J. IGPL
- Log. Methods Comput. Sci.
- Inf. Comput.
- TLCA
- J. Philos. Log.
- CSL
- RTA
- Stud Logica
- Math. Log. Q.
- TPHOLs
- Artif. Intell.
- TABLEAUX
- LPAR
- J. Funct. Program.
- AAAI
- Math. Struct. Comput. Sci.
- Synth.
- Fundam. Informaticae
- ECAI
- MFCS
- Arch. Math. Log.
- ACM Trans. Comput. Log.
- Commun. ACM
- ESOP
- MFPS
- J. ACM
- Sci. Comput. Program.
- J. Symb. Comput.
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend