LOGICAL EQUIVALENCE
Experts
- John M. Hitchcock
- Aduri Pavan
- Christian Glaßer
- Juris Hartmanis
- Hadi Shafei
- Alan L. Selman
- Jonni Virtema
- Richard Wilke
- Marcelo Arenas
- Matthias Hoelzel
- Jorge Pérez
- Juan L. Reutter
- Miika Hannula
- Samik Sengupta
- Cristian Riveros
- Thomas Lukasiewicz
- Georg Gottlob
- Maria Vanina Martinez
- Phokion G. Kolaitis
- Valentin Suder
- Thomas Eiter
- Nicola Leone
- Martin Hilscher
- Christina Boura
- Frank Pfenning
- Piotr Ostropolski-Nalewaja
- Livia Predoiu
- Gerardo I. Simari
- Ronald Fagin
- Anne Canteaut
- Sven Linker
- George Voutsadakis
- James Brotherston
- Tim S. Lyon
- Reinhard Pichler
- Johann A. Makowsky
- Vadim Savenkov
- Ryo Takemura
- Emanuel Sallinger
Venues
- CoRR
- Log. Methods Comput. Sci.
- Ann. Pure Appl. Log.
- Stud Logica
- Electron. Colloquium Comput. Complex.
- AAAI
- PODS
- Theor. Comput. Sci.
- J. Philos. Log.
- J. Symb. Log.
- KR
- JELIA
- Math. Log. Q.
- Comput. Complex.
- IACR Cryptol. ePrint Arch.
- Computational Complexity Conference
- Arch. Math. Log.
- CSL
- SIAM J. Comput.
- ICTAI
- Proc. VLDB Endow.
- Discret. Math.
- COCOON
- MFCS
- Description Logics
- RuleML
- Discret. Math. Theor. Comput. Sci.
- WAIM
- ICALP (1)
- IDEAS
- Bull. EATCS
- Int. J. Control
- FCT
- J. Satisf. Boolean Model. Comput.
- Contributions Discret. Math.
- Int. J. Approx. Reason.
- MFPS
- ECAI
- SIGMOD Rec.
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend