LOGICAL EQUIVALENCE
Experts
- John M. Hitchcock
- Aduri Pavan
- Christian Glaßer
- Juris Hartmanis
- Alan L. Selman
- Hadi Shafei
- Miika Hannula
- Richard Wilke
- Jorge Pérez
- Marcelo Arenas
- Juan L. Reutter
- Jonni Virtema
- Cristian Riveros
- Samik Sengupta
- Matthias Hoelzel
- Simon Docherty
- Stephen D. Travers
- Deepak Garg
- Gerardo I. Simari
- Nicola Leone
- Ronald Fagin
- Valentin Suder
- Ryo Takemura
- Christina Boura
- Phokion G. Kolaitis
- Maarten De Boeck
- Thomas Lukasiewicz
- James Brotherston
- Piotr Ostropolski-Nalewaja
- Sven Linker
- Tim S. Lyon
- Jérémy Jean
- David J. Pym
- George Voutsadakis
- Georg Gottlob
- Johann A. Makowsky
- Emanuel Sallinger
- Vadim Savenkov
- Thomas Eiter
Venues
- CoRR
- Log. Methods Comput. Sci.
- Ann. Pure Appl. Log.
- Electron. Colloquium Comput. Complex.
- Stud Logica
- Theor. Comput. Sci.
- AAAI
- PODS
- Computational Complexity Conference
- Comput. Complex.
- KR
- JELIA
- J. Symb. Log.
- Arch. Math. Log.
- IACR Cryptol. ePrint Arch.
- J. Philos. Log.
- Math. Log. Q.
- CSL
- SIAM J. Comput.
- Description Logics
- Diagrams
- Discret. Math. Theor. Comput. Sci.
- AMIA
- MFCS
- ISMVL
- J. Log. Anal.
- ICDT
- IEEE Trans. Computers
- COCOON
- ECSQARU
- RuleML
- Des. Codes Cryptogr.
- J. Satisf. Boolean Model. Comput.
- Int. J. Control
- ISDT
- Inf. Comput.
- Discret. Math.
- Int. J. Algebra Comput.
- J. Log. Comput.
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend