ORDER SORTED
Experts
- José Meseguer
- Joseph A. Goguen
- Claude Kirchner
- Hélène Kirchner
- Christoph Beierle
- María Alpuente
- Santiago Escobar
- Carles Noguera
- Francisco Durán
- Joan Gispert
- Angel Cuenca-Ortega
- Joe Hendrix
- Ken Kaneiwa
- Isabelle Gnaedig
- Camilo Rocha
- Ulrich Hedtstück
- Claus Hintermeier
- Dirk Pattinson
- Zhenyu Qian
- Harald Ganzinger
- Hassan Aït-Kaci
- Fredrik Dahlqvist
- Robert A. Kowalski
- Anne Elisabeth Haxthausen
- Salvador Lucas
- Francesc Esteva
- Petr Cintula
- Stephen Skeirik
- István Németi
- Mircea Marin
- Lawrence S. Moss
- Petr Hájek
- Diderik Batens
- C. G. McKay
- Axel Poigné
- John Howse
- Riccardo Pucella
- John C. Mitchell
- Clemens Kupke
Venues
- CoRR
- Stud Logica
- J. Symb. Log.
- Theor. Comput. Sci.
- Notre Dame J. Formal Log.
- Math. Log. Q.
- J. Philos. Log.
- Ann. Pure Appl. Log.
- J. Log. Algebraic Methods Program.
- ALP
- Log. J. IGPL
- WRLA
- Logica Universalis
- RTA
- J. Symb. Comput.
- TbiLLC
- Formal Aspects Comput.
- ICALP
- LOPSTR
- Electron. Notes Theor. Comput. Sci.
- SLP
- ICLP
- CTRS
- AMAST
- FoSSaCS
- CADE
- Fuzzy Sets Syst.
- LICS
- J. Log. Comput.
- IWBS Report
- ISLP
- ACM SIGPLAN Notices
- WoLLIC
- EUSFLAT Conf.
- Inf. Comput.
- Comput. J.
- LPAR
- J. Log. Lang. Inf.
- ECAI
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend