BOOLEAN LOGIC
Experts
- Heinrich Wansing
- Yaroslav Shramko
- Guy De Tré
- Andrew Adamatzky
- Jonni Virtema
- Lluís Godo
- Klaus W. Wagner
- Marc Bouissou
- Pierre Marquis
- Ben de Lacy Costello
- Masao Mukaidono
- Armando Tacchella
- Mrigank Sharad
- Tarik Moataz
- J. Donald Monk
- Deliang Fan
- Venkatesan Guruswami
- Petr Fiser
- Ella Gale
- Alan Mishchenko
- Johannes Ebbing
- Tobias Nipkow
- Carol L. Walker
- Philippe Balbiani
- Adnan Darwiche
- Supriyo Bandyopadhyay
- Enrico Giunchiglia
- Axel Hallez
- Sergei P. Odintsov
- Lauri Hella
- Tim French
- Kaushik Roy
- Hykel Hosni
- Tommaso Flaminio
- Steffen Reith
- Anupam Das
- Elbert A. Walker
- Ursula Martin
- Karthik Yogendra
Venues
- CoRR
- J. Symb. Log.
- Math. Log. Q.
- Fuzzy Sets Syst.
- Notre Dame J. Formal Log.
- Ann. Pure Appl. Log.
- DAC
- Order
- Stud Logica
- Theor. Comput. Sci.
- ISMVL
- Log. J. IGPL
- Discret. Math.
- Inf. Sci.
- Discret. Appl. Math.
- J. Philos. Log.
- ICCAD
- Electron. Colloquium Comput. Complex.
- Soft Comput.
- Int. J. Uncertain. Fuzziness Knowl. Based Syst.
- Arch. Math. Log.
- Computer
- IEEE Trans. Computers
- Commun. ACM
- FOCS
- ICCD
- Sci. China Inf. Sci.
- J. Log. Comput.
- IACR Cryptol. ePrint Arch.
- Comput. J.
- EDCC
- IEEE Trans. Fuzzy Syst.
- IJCAI
- ICCS
- DATE
- J. Multiple Valued Log. Soft Comput.
- RelMiCS
- Int. J. Intell. Syst.
- J. ACM
Related Topics
Related Keywords
Popularity