ORDER SORTED
Experts
- José Meseguer
- Joseph A. Goguen
- Claude Kirchner
- Christoph Beierle
- Santiago Escobar
- Hélène Kirchner
- María Alpuente
- Joan Gispert
- Francisco Durán
- Angel Cuenca-Ortega
- Carles Noguera
- Zhenyu Qian
- Claus Hintermeier
- Robert A. Kowalski
- Dirk Pattinson
- Francesc Esteva
- Hassan Aït-Kaci
- Camilo Rocha
- Salvador Lucas
- Ulrich Hedtstück
- Anne Elisabeth Haxthausen
- Fredrik Dahlqvist
- Isabelle Gnaedig
- Petr Cintula
- Joe Hendrix
- Harald Ganzinger
- Ken Kaneiwa
- István Németi
- Riichiro Mizoguchi
- Petr Hájek
- Peter Hertling
- Ana Gil-Luezas
- Lluís Godo
- Mohammad Ardeshir
- Dmitrij P. Skvortsov
- C. G. McKay
- Riccardo Pucella
- Naohiro Ishii
- Gert Smolka
Venues
- CoRR
- Stud Logica
- J. Symb. Log.
- Notre Dame J. Formal Log.
- Theor. Comput. Sci.
- Math. Log. Q.
- J. Philos. Log.
- Ann. Pure Appl. Log.
- WRLA
- ALP
- Log. J. IGPL
- J. Log. Algebraic Methods Program.
- RTA
- Logica Universalis
- TbiLLC
- Formal Aspects Comput.
- Electron. Notes Theor. Comput. Sci.
- J. Symb. Comput.
- LOPSTR
- ICALP
- AMAST
- LICS
- CADE
- IWBS Report
- CTRS
- ICLP
- J. Log. Comput.
- FoSSaCS
- SLP
- Fuzzy Sets Syst.
- ILPS
- Comput. J.
- Inf. Comput.
- Acta Informatica
- MFCS
- EUSFLAT Conf.
- WoLLIC
- ADT
- ACM SIGPLAN Notices
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend