ORDER SORTED
Experts
- José Meseguer
- Joseph A. Goguen
- Santiago Escobar
- Claude Kirchner
- Christoph Beierle
- María Alpuente
- Hélène Kirchner
- Carles Noguera
- Joan Gispert
- Francisco Durán
- Angel Cuenca-Ortega
- Francesc Esteva
- Fredrik Dahlqvist
- Zhenyu Qian
- Claus Hintermeier
- Robert A. Kowalski
- Ken Kaneiwa
- Salvador Lucas
- Isabelle Gnaedig
- Harald Ganzinger
- Ulrich Hedtstück
- Petr Cintula
- Camilo Rocha
- Joe Hendrix
- Anne Elisabeth Haxthausen
- Hassan Aït-Kaci
- Dirk Pattinson
- Jesús Manuel Almendros-Jiménez
- Naohiro Ishii
- Peter H. Schmitt
- Tadeusz Litak
- Gabriella Pasi
- Razvan Diaconescu
- Raúl Gutiérrez
- C. G. McKay
- Clemens Kupke
- Uday S. Reddy
- Nissim Francez
- Katsuhiko Sano
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.
- Log. J. IGPL
- ALP
- WRLA
- J. Log. Algebraic Methods Program.
- Logica Universalis
- RTA
- TbiLLC
- Electron. Notes Theor. Comput. Sci.
- LOPSTR
- ICALP
- Formal Aspects Comput.
- J. Symb. Comput.
- CTRS
- J. Log. Comput.
- FoSSaCS
- LICS
- CADE
- AMAST
- IWBS Report
- Fuzzy Sets Syst.
- SLP
- ICLP
- Inf. Comput.
- IJCAR
- Sorts and Types in Artificial Intelligence
- ILPS
- ACM SIGPLAN Notices
- ECAI
- Fundam. Informaticae
- J. Comput. Syst. Sci.
- EUSFLAT Conf.
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend