PRESBURGER ARITHMETIC
Experts
- Danny Nguyen
- Volker Weispfenning
- Silvio Ranise
- Deepak Kapur
- Igor Pak
- Silvio Ghilardi
- Eugene Goldberg
- Frédéric Blanqui
- Thomas Sturm
- James H. Davenport
- Philipp Rümmer
- Hans Zantema
- Salvador Lucas
- Christoph Haase
- Panagiotis Manolios
- Daniel Kroening
- Hoon Hong
- Alessandro Armando
- Jeremy Avigad
- Hirokazu Anai
- Christoph Wernhard
- Hélène Kirchner
- Kevin Woods
- Nachum Dershowitz
- Dennis S. Arnon
- Viorica Sofronie-Stokkermans
- George E. Collins
- Arnab Roy
- Andrzej Szalas
- Johannes Waldmann
- Patrick Solé
- Tobias Nipkow
- Saugata Basu
- Jürgen Giesl
- Marie-Françoise Roy
- Edmund M. Clarke
- Erich Grädel
- Christopher W. Brown
- Martin Helfrich
Venues
- CoRR
- RTA
- Theor. Comput. Sci.
- Ann. Pure Appl. Log.
- J. Symb. Comput.
- ISSAC
- Electron. Notes Theor. Comput. Sci.
- Bull. EATCS
- J. Symb. Log.
- Log. Methods Comput. Sci.
- J. Autom. Reason.
- Math. Log. Q.
- Arch. Math. Log.
- STOC
- CAV
- IJCAR
- FOCS
- CSL
- Notre Dame J. Formal Log.
- ICALP
- Comput. J.
- LICS
- Appl. Algebra Eng. Commun. Comput.
- Inf. Process. Lett.
- CASC
- CTRS
- FSCD
- CADE
- FroCoS
- J. Comput. Syst. Sci.
- SOQE
- CAV (2)
- LPAR
- Ann. Math. Artif. Intell.
- Stud Logica
- Fuzzy Sets Syst.
- IACR Cryptol. ePrint Arch.
- Acta Informatica
- IEEE Trans. Inf. Theory
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend