2 results
Ticket Entailment is decidable
-
- Journal:
- Mathematical Structures in Computer Science / Volume 23 / Issue 3 / June 2013
- Published online by Cambridge University Press:
- 09 July 2012, pp. 568-607
-
- Article
- Export citation
Decidability of fourth-order matching
-
- Journal:
- Mathematical Structures in Computer Science / Volume 10 / Issue 3 / June 2000
- Published online by Cambridge University Press:
- 01 June 2000, pp. 361-372
-
- Article
- Export citation