A Lambda-Free Higher-Order Recursive Path Order
From MaRDI portal
Publication:2988386
DOI10.1007/978-3-662-54458-7_27zbMath1486.68085MaRDI QIDQ2988386
Jasmin Christian Blanchette, Uwe Waldmann, Daniel Wand
Publication date: 19 May 2017
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://hal.inria.fr/hal-01592189/file/BlanchetteWaldmannWandFoSSaCS.pdf
Uses Software