LOGICAL EQUIVALENCE
Experts
- Aduri Pavan
- John M. Hitchcock
- Christian Glaßer
- Juris Hartmanis
- Alan L. Selman
- Hadi Shafei
- Richard Wilke
- Marcelo Arenas
- Matthias Hoelzel
- Jorge Pérez
- Juan L. Reutter
- Samik Sengupta
- Miika Hannula
- Cristian Riveros
- Jonni Virtema
- Tim S. Lyon
- Sven Linker
- Jérémy Jean
- Johann A. Makowsky
- Ronald Fagin
- Simon Docherty
- Maria Vanina Martinez
- Phokion G. Kolaitis
- David J. Pym
- Maarten De Boeck
- George Voutsadakis
- Christina Boura
- Gerardo I. Simari
- Thomas Lukasiewicz
- James Brotherston
- Reinhard Pichler
- Emanuel Sallinger
- Anne Canteaut
- Deepak Garg
- Livia Predoiu
- Valentin Suder
- Piotr Ostropolski-Nalewaja
- Martin Hilscher
- Ryo Takemura
Venues
- CoRR
- Log. Methods Comput. Sci.
- Ann. Pure Appl. Log.
- PODS
- Electron. Colloquium Comput. Complex.
- Stud Logica
- AAAI
- Theor. Comput. Sci.
- IACR Cryptol. ePrint Arch.
- Comput. Complex.
- KR
- Computational Complexity Conference
- JELIA
- CSL
- SIAM J. Comput.
- J. Philos. Log.
- Arch. Math. Log.
- Math. Log. Q.
- J. Symb. Log.
- J. Comput. Secur.
- Artif. Intell.
- ECAI
- FCT
- ACM Trans. Comput. Theory
- J. Log. Anal.
- WAIM
- Int. J. Algebra Comput.
- MFPS
- ICDT
- VLDB J.
- CIKM
- IEA/AIE
- Discret. Math. Theor. Comput. Sci.
- Proc. VLDB Endow.
- Künstliche Intell.
- Int. J. Approx. Reason.
- J. Satisf. Boolean Model. Comput.
- Discret. Math.
- CRYPTO
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend