LOGICAL EQUIVALENCE
Experts
- Aduri Pavan
- John M. Hitchcock
- Christian Glaßer
- Juris Hartmanis
- Alan L. Selman
- Hadi Shafei
- Jorge Pérez
- Samik Sengupta
- Richard Wilke
- Cristian Riveros
- Marcelo Arenas
- Juan L. Reutter
- Miika Hannula
- Jonni Virtema
- Matthias Hoelzel
- Lane A. Hemachandra
- Tim S. Lyon
- Simon Docherty
- Vadim Savenkov
- Thomas Eiter
- Livia Predoiu
- Maria Vanina Martinez
- Martin Hilscher
- David J. Pym
- Frank Pfenning
- Georg Gottlob
- Johann A. Makowsky
- Stephen D. Travers
- Jérémy Jean
- Ronald Fagin
- Phokion G. Kolaitis
- Valentin Suder
- George Voutsadakis
- James Brotherston
- Ryo Takemura
- Sven Linker
- Emanuel Sallinger
- Thomas Lukasiewicz
- Piotr Ostropolski-Nalewaja
Venues
- CoRR
- Log. Methods Comput. Sci.
- Stud Logica
- Theor. Comput. Sci.
- AAAI
- PODS
- Ann. Pure Appl. Log.
- Electron. Colloquium Comput. Complex.
- JELIA
- J. Philos. Log.
- KR
- Arch. Math. Log.
- J. Symb. Log.
- Computational Complexity Conference
- IACR Cryptol. ePrint Arch.
- Comput. Complex.
- CSL
- Math. Log. Q.
- SIAM J. Comput.
- ISDT
- Des. Codes Cryptogr.
- Int. J. Approx. Reason.
- Discret. Math.
- SWCT
- Contributions Discret. Math.
- Diagrams
- NATO ASI RTC
- Int. J. Algebra Comput.
- ICDT
- MFPS
- STACS
- Bull. Symb. Log.
- AMIA
- ICTAC
- J. Comput. Secur.
- ECSQARU
- MFCS
- FCT
- CRYPTO
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend