LOGICAL EQUIVALENCE
Experts
- Aduri Pavan
- John M. Hitchcock
- Christian Glaßer
- Juris Hartmanis
- Hadi Shafei
- Alan L. Selman
- Cristian Riveros
- Miika Hannula
- Jonni Virtema
- Matthias Hoelzel
- Jorge Pérez
- Juan L. Reutter
- Samik Sengupta
- Richard Wilke
- Marcelo Arenas
- Frank Pfenning
- Martin Hilscher
- Nicola Leone
- Georg Gottlob
- Vadim Savenkov
- Thomas Eiter
- Lane A. Hemachandra
- Tim S. Lyon
- Stephen D. Travers
- Thomas Lukasiewicz
- Emanuel Sallinger
- James Brotherston
- Reinhard Pichler
- Deepak Garg
- Livia Predoiu
- Anne Canteaut
- Piotr Ostropolski-Nalewaja
- Ryo Takemura
- Valentin Suder
- Phokion G. Kolaitis
- David J. Pym
- Maarten De Boeck
- Christina Boura
- George Voutsadakis
Venues
- CoRR
- Log. Methods Comput. Sci.
- PODS
- Ann. Pure Appl. Log.
- Electron. Colloquium Comput. Complex.
- AAAI
- Stud Logica
- Theor. Comput. Sci.
- KR
- Comput. Complex.
- IACR Cryptol. ePrint Arch.
- CSL
- JELIA
- Computational Complexity Conference
- SIAM J. Comput.
- J. Symb. Log.
- Arch. Math. Log.
- Math. Log. Q.
- J. Philos. Log.
- IEA/AIE
- J. Comb. Theory, Ser. A
- CIKM
- Discret. Math. Theor. Comput. Sci.
- Int. J. Algebra Comput.
- MFPS
- VLDB J.
- ICDT
- ACM Trans. Comput. Theory
- FCT
- J. Log. Anal.
- WAIM
- Artif. Intell.
- ECAI
- ICALP (1)
- ISMVL
- Int. J. Control
- WoLLIC
- COCOON
- ICTAI
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend