Old Web
English
Sign In
Acemap
>
Paper
>
Solving Horn Clauses on Inductive Data Types Without Induction
Solving Horn Clauses on Inductive Data Types Without Induction
2018
Emanuele De Angelis
Fabio Fioravanti
Alberto Pettorossi
Maurizio Proietti
Keywords:
Programming language
Data type
Computer science
Theoretical computer science
Horn clause
Correction
Cite
Save
Machine Reading By IdeaReader
34
References
5
Citations
NaN
KQI
[]