LOGICAL EQUIVALENCE
Experts
- Aduri Pavan
- John M. Hitchcock
- Christian Glaßer
- Juris Hartmanis
- Hadi Shafei
- Alan L. Selman
- Jorge Pérez
- Richard Wilke
- Marcelo Arenas
- Samik Sengupta
- Jonni Virtema
- Miika Hannula
- Cristian Riveros
- Juan L. Reutter
- Matthias Hoelzel
- Reinhard Pichler
- Martin Hilscher
- Christina Boura
- Thomas Eiter
- Phokion G. Kolaitis
- Maarten De Boeck
- Vadim Savenkov
- Frank Pfenning
- Maria Vanina Martinez
- David J. Pym
- Johann A. Makowsky
- Deepak Garg
- Lane A. Hemachandra
- Emanuel Sallinger
- Ryo Takemura
- Jérémy Jean
- James Brotherston
- George Voutsadakis
- Thomas Lukasiewicz
- Piotr Ostropolski-Nalewaja
- Tim S. Lyon
- Anne Canteaut
- Valentin Suder
- Sven Linker
Venues
- CoRR
- Log. Methods Comput. Sci.
- PODS
- AAAI
- Theor. Comput. Sci.
- Ann. Pure Appl. Log.
- Electron. Colloquium Comput. Complex.
- Stud Logica
- IACR Cryptol. ePrint Arch.
- Arch. Math. Log.
- SIAM J. Comput.
- J. Symb. Log.
- JELIA
- Math. Log. Q.
- CSL
- Comput. Complex.
- Computational Complexity Conference
- KR
- J. Philos. Log.
- STACS
- Int. J. Approx. Reason.
- Inf. Comput.
- CRYPTO
- Int. J. Control
- AMIA
- COCOON
- J. Comput. Secur.
- ISDT
- Des. Codes Cryptogr.
- IEA/AIE
- Discret. Math.
- Theory Comput. Syst.
- Artif. Intell.
- ICTAI
- Datalog
- ACM Trans. Comput. Theory
- J. Comput. Syst. Sci.
- ECSQARU
- ECAI
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend