LOGICAL EQUIVALENCE
Experts
- Aduri Pavan
- John M. Hitchcock
- Christian Glaßer
- Juris Hartmanis
- Hadi Shafei
- Alan L. Selman
- Samik Sengupta
- Marcelo Arenas
- Miika Hannula
- Cristian Riveros
- Matthias Hoelzel
- Juan L. Reutter
- Jonni Virtema
- Richard Wilke
- Jorge Pérez
- Deepak Garg
- Lane A. Hemachandra
- Ryo Takemura
- Anne Canteaut
- Frank Pfenning
- Maria Vanina Martinez
- Vadim Savenkov
- Georg Gottlob
- Livia Predoiu
- David J. Pym
- Maarten De Boeck
- Nicola Leone
- Piotr Ostropolski-Nalewaja
- Johann A. Makowsky
- Martin Hilscher
- Valentin Suder
- Reinhard Pichler
- George Voutsadakis
- James Brotherston
- Christina Boura
- Gerardo I. Simari
- Tim S. Lyon
- Sven Linker
- Thomas Lukasiewicz
Venues
- CoRR
- Log. Methods Comput. Sci.
- Theor. Comput. Sci.
- Electron. Colloquium Comput. Complex.
- Stud Logica
- AAAI
- Ann. Pure Appl. Log.
- PODS
- CSL
- IACR Cryptol. ePrint Arch.
- Math. Log. Q.
- Comput. Complex.
- J. Philos. Log.
- Arch. Math. Log.
- SIAM J. Comput.
- J. Symb. Log.
- KR
- JELIA
- Computational Complexity Conference
- Description Logics
- FCT
- ACM Trans. Comput. Theory
- Künstliche Intell.
- Inf. Comput.
- COCOON
- J. Comb. Theory, Ser. A
- ISDT
- J. Log. Comput.
- SIGMOD Rec.
- Proc. VLDB Endow.
- ICDT
- ICTAC
- STACS
- J. Comput. Syst. Sci.
- ICTAI
- Discret. Math. Theor. Comput. Sci.
- Contributions Discret. Math.
- Des. Codes Cryptogr.
- Ann. Math. Artif. Intell.
Related Topics
Related Keywords
Popularity