scientific article; zbMATH DE number 1405629
From MaRDI portal
Publication:4938608
zbMath0939.68063MaRDI QIDQ4938608
Publication date: 25 April 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (7)
Pattern matching as cut elimination ⋮ Verifying termination and reduction properties about higher-order logic programs ⋮ Levels of undecidability in rewriting ⋮ Evaluation strategies for functional logic programming ⋮ Infinitary combinatory reduction systems ⋮ Shallow confluence of conditional term rewriting systems ⋮ Evaluation Strategies for Functional Logic Programming
This page was built for publication:
