Back to Search
Start Over
Nagoya Termination Tool.
- Source :
- Rewriting & Typed Lambda Calculi; 2014, p466-475, 10p
- Publication Year :
- 2014
Details
- Language :
- English
- ISBNs :
- 9783319089171
- Database :
- Complementary Index
- Journal :
- Rewriting & Typed Lambda Calculi
- Publication Type :
- Book
- Accession number :
- 98832005
- Full Text :
- https://doi.org/10.1007/978-3-319-08918-8_32