IMPERATIVE PROGRAMS
Experts
- André Platzer
- Andreas Herzig
- Laura Kovács
- Alexandre Madeira
- Nicolas Troquard
- David Harel
- Bernhard Beckert
- Daniel Leivant
- Alberto Pettorossi
- Emiliano Lorini
- Rolf Hennicker
- Emanuele De Angelis
- James H. Davenport
- Martin Zimmermann
- Fabio Fioravanti
- Maurizio Proietti
- John-Jules Ch. Meyer
- Erika Ábrahám
- Nico Roos
- Joël Ouaknine
- Alberto Finzi
- Michael D. Ernst
- Matthew England
- Johan van Benthem
- Wolfgang Ahrendt
- Daniel Kroening
- Alberto Griggio
- Andrei Voronkov
- Bruno Buchberger
- Moritz Sinn
- Ashutosh Gupta
- Frank S. de Boer
- Virgile Prevosto
- Pascal Fontaine
- Bixin Li
- David Notkin
- Divyesh Unadkat
- Supratik Chakraborty
- Richard Bubel
Venues
- CoRR
- J. Symb. Comput.
- CADE
- Theor. Comput. Sci.
- J. Log. Comput.
- POPL
- SAS
- Comput. Phys. Commun.
- SIGSAM Bull.
- LOPSTR
- ISSAC
- DaLí
- J. Log. Algebraic Methods Program.
- PLDI
- Commun. ACM
- Inf. Control.
- Electron. Notes Theor. Comput. Sci.
- LICS
- Comput. J.
- MFCS
- Sci. Comput. Program.
- ICFEM
- IJCAI
- J. Symb. Log.
- IJCAR
- ICRA
- FM
- ASE
- CPP
- STOC
- Fundam. Informaticae
- Inf. Process. Lett.
- TACAS (1)
- AAAI
- Formal Aspects Comput.
- IEEE Trans. Software Eng.
- J. Log. Lang. Inf.
- Acta Informatica
- Ann. Pure Appl. Log.
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend