BOOLEAN ALGEBRA
Experts
- Young Bae Jun
- Georg Struth
- Yang Xu
- Dexter Kozen
- Bernhard Möller
- Rajab Ali Borzooei
- Arsham Borumand Saeid
- Afrodita Iorgulescu
- Cong Ling
- Anatolij Dvurecenskij
- Leah Epstein
- Alexandra Silva
- Jan A. Bergstra
- Miguel Couceiro
- Antonio Di Nola
- Sebastian Link
- Xiao Long Xin
- Ivan Chajda
- Zdenka Riecanová
- Ramon Jansana
- Jan Paseka
- Lavinia Corina Ciungu
- Tobias Kappé
- István Németi
- Jan Kühr
- Luigi Santocanale
- Jianming Zhan
- Viorica Sofronie-Stokkermans
- Sergio A. Celani
- Sven Hartmann
- Cornelis A. Middelburg
- Peter Jipsen
- Chris Peikert
- Cristina Flaut
- Hee Sik Kim
- Boleslaw Sobocinski
- Clint J. van Alten
- Dragan G. Radojevic
- Lawrence C. Paulson
Venues
- CoRR
- Discret. Math.
- Fuzzy Sets Syst.
- Soft Comput.
- Stud Logica
- Order
- CADE
- Math. Log. Q.
- Theor. Comput. Sci.
- J. Multiple Valued Log. Soft Comput.
- Ann. Pure Appl. Log.
- Notre Dame J. Formal Log.
- Int. J. Algebra Comput.
- J. Intell. Fuzzy Syst.
- J. Comb. Theory, Ser. A
- IACR Cryptol. ePrint Arch.
- J. Symb. Log.
- Eur. J. Comb.
- J. Autom. Reason.
- Inf. Sci.
- Arch. Math. Log.
- ISMVL
- Electron. J. Comb.
- Discret. Appl. Math.
- Appl. Categorical Struct.
- Log. J. IGPL
- Adv. Appl. Math.
- IEEE Trans. Inf. Theory
- J. Log. Comput.
- Int. J. Math. Math. Sci.
- J. Symb. Comput.
- Bull. Symb. Log.
- Discret. Comput. Geom.
- Reports Math. Log.
- J. Log. Algebraic Methods Program.
- LICS
- RAMiCS
- Symmetry
- ISIT
Related Topics
Related Keywords
Popularity