scientific article

From MaRDI portal

Publication:3780488

Jump to:navigation, search

zbMath0639.68098MaRDI QIDQ3780488

John Staples, Peter J. Robinson

Publication date: 1987

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

matching implementation logic programming languages unification algorithm functional programming languages quantified terms Prolog interpreter quantifier syntax

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Combinatory logic and lambda calculus (03B40)

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3780488&oldid=17334758"