Use of logical models for proving infeasibility in term...

Information Processing Letters 2018 / 08 Vol. 136

Use of logical models for proving infeasibility in term rewriting

Lucas, Salvador, Gutiérrez, Raúl
How much do you like this book?
What’s the quality of the file?
Download the book for quality assessment
What’s the quality of the downloaded files?
Volume:
136
Language:
english
Journal:
Information Processing Letters
DOI:
10.1016/j.ipl.2018.04.002
Date:
August, 2018
File:
PDF, 312 KB
english, 2018
Conversion to is in progress
Conversion to is failed