University G. D'Annunzio of Chieti-Pescara
Identifiers
- name variant University G. D'Annunzio of Chieti-Pescara 0.50 · backfill
Papers (1)
- Solving Horn Clauses on Inductive Data Types Without Induction cs.LO · 2018 · author #5
Mentions
No mention provenance yet.
Frequent Coauthors
- (2) DICII 1 shared papers
- (3) CNR-IASI 1 shared papers
- Alberto Pettorossi (2) 1 shared papers
- Emanuele De Angelis (1) 1 shared papers
- Fabio Fioravanti (1) 1 shared papers
- Italy 1 shared papers
- Italy) 1 shared papers
- Maurizio Proietti (3) ((1) DEC 1 shared papers
- Pescara 1 shared papers
- Roma 1 shared papers
- University of Rome Tor Vergata 1 shared papers