ORDER SORTED
Experts
- José Meseguer
- Joseph A. Goguen
- Hélène Kirchner
- Claude Kirchner
- Christoph Beierle
- María Alpuente
- Santiago Escobar
- Carles Noguera
- Joan Gispert
- Francisco Durán
- Angel Cuenca-Ortega
- Salvador Lucas
- Hassan Aït-Kaci
- Joe Hendrix
- Robert A. Kowalski
- Dirk Pattinson
- Ken Kaneiwa
- Petr Cintula
- Ulrich Hedtstück
- Claus Hintermeier
- Zhenyu Qian
- Anne Elisabeth Haxthausen
- Fredrik Dahlqvist
- Camilo Rocha
- Harald Ganzinger
- Isabelle Gnaedig
- Francesc Esteva
- Uday S. Reddy
- Lawrence S. Moss
- Naohiro Ishii
- George Metcalfe
- Razvan Diaconescu
- Clemens Kupke
- Gem Stapleton
- Albert R. Meyer
- Temur Kutsia
- Riichiro Mizoguchi
- Colin Stirling
- Lutz Schröder
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.
- Log. J. IGPL
- J. Log. Algebraic Methods Program.
- ALP
- WRLA
- Logica Universalis
- RTA
- Formal Aspects Comput.
- TbiLLC
- LOPSTR
- Electron. Notes Theor. Comput. Sci.
- ICALP
- J. Symb. Comput.
- LICS
- CADE
- FoSSaCS
- ICLP
- AMAST
- IWBS Report
- Fuzzy Sets Syst.
- J. Log. Comput.
- CTRS
- SLP
- J. Comput. Syst. Sci.
- ILPS
- ECAI
- EUSFLAT Conf.
- COCOON
- Fundam. Informaticae
- Inf. Comput.
- WoLLIC
- MFCS
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend