Higher-Order MSL Horn Constraints

Jerome C Jochems, Eddie C Jones, Steven Ramsay^*

^*Corresponding author for this work

Research output: Contribution to journal › Article (Academic Journal) › peer-review

59 Downloads (Pure)

1 results

Filter

Finished
8030 EPSRC EP/T006595/1 Higher-order Constrained Horn Clauses
Ramsay, S. (Principal Investigator)
1/03/20 → 28/02/23
Project: Research