IMPERATIVE PROGRAMS
Experts
- André Platzer
- Andreas Herzig
- Laura Kovács
- Alexandre Madeira
- Nicolas Troquard
- Daniel Leivant
- Bernhard Beckert
- David Harel
- Maurizio Proietti
- Emanuele De Angelis
- John-Jules Ch. Meyer
- Alberto Pettorossi
- Erika Ábrahám
- Fabio Fioravanti
- Emiliano Lorini
- James H. Davenport
- Rolf Hennicker
- Martin Zimmermann
- Nico Roos
- Andrei Voronkov
- Joël Ouaknine
- Alberto Griggio
- Johan van Benthem
- Michael D. Ernst
- Matthew England
- Wolfgang Ahrendt
- Daniel Kroening
- Alberto Finzi
- Bruno Buchberger
- Helmut Veith
- Jan Flusser
- Sharon Shoham
- Bohua Zhan
- Petr Hájek
- Thomas Sturm
- Till Mossakowski
- Richard Bubel
- ThanhVu Nguyen
- Bixin Li
Venues
- CoRR
- J. Symb. Comput.
- Theor. Comput. Sci.
- CADE
- J. Log. Comput.
- SAS
- POPL
- Comput. Phys. Commun.
- LOPSTR
- ISSAC
- SIGSAM Bull.
- PLDI
- J. Log. Algebraic Methods Program.
- DaLí
- Electron. Notes Theor. Comput. Sci.
- Inf. Control.
- Comput. J.
- Sci. Comput. Program.
- MFCS
- LICS
- Commun. ACM
- FM
- IJCAI
- ICFEM
- ICRA
- IJCAR
- J. Symb. Log.
- ASE
- Formal Aspects Comput.
- STOC
- J. Autom. Reason.
- J. Log. Lang. Inf.
- ECAI
- Fundam. Informaticae
- Appl. Math. Comput.
- TACAS (1)
- Ann. Pure Appl. Log.
- CPP
- AAAI
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend