IMPERATIVE PROGRAMS
Experts
- André Platzer
- Andreas Herzig
- Laura Kovács
- Alexandre Madeira
- Nicolas Troquard
- Daniel Leivant
- Bernhard Beckert
- David Harel
- Fabio Fioravanti
- Maurizio Proietti
- Alberto Pettorossi
- Rolf Hennicker
- James H. Davenport
- Nico Roos
- Martin Zimmermann
- Emiliano Lorini
- Erika Ábrahám
- John-Jules Ch. Meyer
- Emanuele De Angelis
- Michael D. Ernst
- Alberto Griggio
- Alberto Finzi
- Joël Ouaknine
- Wolfgang Ahrendt
- Johan van Benthem
- Bruno Buchberger
- Daniel Kroening
- Matthew England
- Andrei Voronkov
- Thomas Sturm
- ThanhVu Nguyen
- Oded Padon
- Divyesh Unadkat
- Petr Hájek
- Virgile Prevosto
- Pierre-Loïc Garoche
- David Peleg
- David Notkin
- William G. Griswold
Venues
- CoRR
- J. Symb. Comput.
- Theor. Comput. Sci.
- CADE
- POPL
- SAS
- J. Log. Comput.
- Comput. Phys. Commun.
- ISSAC
- SIGSAM Bull.
- LOPSTR
- PLDI
- DaLí
- J. Log. Algebraic Methods Program.
- MFCS
- LICS
- Inf. Control.
- Comput. J.
- Electron. Notes Theor. Comput. Sci.
- Sci. Comput. Program.
- ASE
- IJCAR
- FM
- Commun. ACM
- ICFEM
- J. Symb. Log.
- IJCAI
- Inf. Process. Lett.
- CPP
- J. Autom. Reason.
- Ann. Pure Appl. Log.
- Acta Informatica
- STOC
- IEEE Trans. Software Eng.
- Arch. Formal Proofs
- Appl. Math. Comput.
- ACM Commun. Comput. Algebra
- ICRA
- J. Log. Lang. Inf.
Related Topics
Related Keywords
Popularity