ALGEBRAIC EXPRESSIONS
Experts
- Bernhard Möller
- Alexandra Silva
- Dexter Kozen
- Georg Struth
- Jan A. Bergstra
- Mark Korenblit
- Tobias Kappé
- Paul Brunet
- Cornelis A. Middelburg
- Fabio Zanasi
- Tony Hoare
- Damien Pous
- Anthony C. Hearn
- Kim Solin
- Ian J. Hayes
- Vadim E. Levit
- Laura Kovács
- Arsham Borumand Saeid
- Dumitru Busneag
- Jana Wagemaker
- Todd Schmid
- Filippo Bonchi
- Marc Moreno Maza
- Andreas Humenberger
- Pawel Sobocinski
- Hartmut Ehrig
- Peter Höfner
- Stephan van Staden
- Thomas Rambow
- Joseph A. Goguen
- Dana Piciu
- Changbo Chen
- Ievgen Ivanov
- Uwe Kiencke
- Jirí Adámek
- Vincel Hoang Ngoc Minh
- Mykola S. Nikitchenko
- Fredrik Kjolstad
- Saman P. Amarasinghe
Venues
- CoRR
- Discret. Math.
- Theor. Comput. Sci.
- Int. J. Algebra Comput.
- J. Log. Algebraic Methods Program.
- Am. Math. Mon.
- J. Symb. Comput.
- CALCO
- Appl. Categorical Struct.
- ACM Commun. Comput. Algebra
- J. Symb. Log.
- Eur. J. Comb.
- Notre Dame J. Formal Log.
- RAMiCS
- Discret. Appl. Math.
- J. Comb. Theory, Ser. A
- ISSAC
- Electron. J. Comb.
- IACR Cryptol. ePrint Arch.
- AMAST
- Grundlagen von Datenbanken
- RelMiCS
- Axioms
- LICS
- Arch. Formal Proofs
- Sci. Comput. Program.
- Electron. Notes Theor. Comput. Sci.
- ISMVL
- Symmetry
- Bull. EATCS
- Adv. Appl. Math.
- J. Comput. Syst. Sci.
- Proc. ACM Program. Lang.
- Math. Log. Q.
- Math. Struct. Comput. Sci.
- IEEE Trans. Inf. Theory
- Int. J. Math. Math. Sci.
- J. Multiple Valued Log. Soft Comput.
- CAAP
Related Topics
Related Keywords
Popularity