scientific article
From MaRDI portal
Publication:2778888
zbMath0981.68061MaRDI QIDQ2778888
Publication date: 21 March 2002
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2051/20510338
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (6)
Higher-order interpretations and program complexity ⋮ Harnessing First Order Termination Provers Using Higher Order Dependency Pairs ⋮ An initial algebra approach to term rewriting systems with variable binders ⋮ A Lambda-Free Higher-Order Recursive Path Order ⋮ Infinitary combinatory reduction systems ⋮ Argument Filterings and Usable Rules for Simply Typed Dependency Pairs
This page was built for publication:
