TERMINATION ANALYSIS
Experts
- Patrick Cousot
- Roberto Giacobazzi
- Jürgen Giesl
- Danny De Schreye
- Radhia Cousot
- Francesco Ranzato
- Agostino Cortesi
- Salvador Lucas
- Antoine Miné
- Maurice Bruynooghe
- Isabella Mastroeni
- Hans Zantema
- Peter Schneider-Kamp
- Helmut Seidl
- Christian Ferdinand
- Stefano Ceri
- Thomas P. Jensen
- Baudouin Le Charlier
- Manuel V. Hermenegildo
- Alexander Serebrenik
- Sharma Chakravarthy
- Michael Codish
- Francesco Logozzo
- Mila Dalla Preda
- René Thiemann
- David Monniaux
- Daniel Kroening
- Nicoletta De Francesco
- Stefano Paraboschi
- Sergio Greco
- Susan Darling Urban
- Giorgio Levi
- Nachum Dershowitz
- Julian Erhard
- Carsten Fuhs
- Neil D. Jones
- Germán Puebla
- Caterina Urban
- Simmo Saan
Venues
- CoRR
- SAS
- VMCAI
- RTA
- Electron. Notes Theor. Comput. Sci.
- Theor. Comput. Sci.
- Sci. Comput. Program.
- Proc. ACM Program. Lang.
- ACM Trans. Program. Lang. Syst.
- LOPSTR
- ICLP
- Rules in Database Systems
- ESOP
- DEXA
- Theory Pract. Log. Program.
- POPL
- Inf. Process. Lett.
- J. Log. Program.
- ICDE
- APLAS
- PPDP
- IEEE Trans. Knowl. Data Eng.
- Inf. Comput.
- APPIA-GULP-PRODE
- PLILP
- Functional Programming
- PLDI
- J. Log. Comput.
- PEPM
- SAC
- CAV
- Festschrift for Dave Schmidt
- CADE
- BNCOD
- ILPS
- RIDE-ADS
- SEFM
- CAV (1)
- Appl. Algebra Eng. Commun. Comput.
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend