FUNCTION SYMBOLS
Experts
- José Meseguer
- Alberto Pettorossi
- Maurizio Proietti
- Andrei Voronkov
- Sergio Greco
- Paliath Narendran
- Thomas Eiter
- Irina Trubitsyna
- Santiago Escobar
- Pedro Cabalar
- Helmut Seidl
- Manfred Schmidt-Schauß
- Franz Baader
- Maribel Fernández
- Marco Calautti
- Reinhard Pichler
- Christoph Weidenbach
- Mauricio Ayala-Rincón
- Jeffrey B. Remmel
- John P. Gallagher
- Martin Otto
- Georg Gottlob
- Francisco Javier López-Fraguas
- Charles Paperman
- Yan Zhang
- Barnaby Martin
- Mantas Simkus
- Gerhard Lakemeyer
- Jordi Levy
- Torsten Schaub
- Fabio Fioravanti
- Jia-Huai You
- René Thiemann
- Fabrizio Riguzzi
- Konstantin Korovin
- Umang Mathur
- Philipp Rümmer
- Vernon Asuncion
- Wlodzimierz Drabent
Venues
- CoRR
- Theor. Comput. Sci.
- ICLP
- LICS
- J. Symb. Log.
- J. Symb. Comput.
- CADE
- RTA
- LOPSTR
- Ann. Pure Appl. Log.
- Inf. Comput.
- AAAI
- LPAR
- ICALP
- Theory Pract. Log. Program.
- ACM Trans. Comput. Log.
- IJCAI
- Log. J. IGPL
- J. Autom. Reason.
- LPNMR
- Arch. Math. Log.
- CSL
- Electron. Notes Theor. Comput. Sci.
- J. Log. Program.
- Notre Dame J. Formal Log.
- MFCS
- Description Logics
- J. Log. Comput.
- STACS
- Log. Methods Comput. Sci.
- Math. Log. Q.
- POPL
- Fundam. Informaticae
- JELIA
- FGCS
- PODS
- Sci. Comput. Program.
- ESOP
- Inf. Process. Lett.
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend