scientific article; zbMATH DE number 1088023

From MaRDI portal

Publication:4364370

Jump to:navigation, search

zbMath0888.03007MaRDI QIDQ4364370

Claude Kirchner, Christophe Ringeissen

Publication date: 17 November 1997

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

zbMATH Keywords

rewrite system lambda-calculus explicit substitution first-order unification higher-order \(E\)-unification rule-based unification procedure

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Combinatory logic and lambda calculus (03B40)

Related Items (3)

Theorem proving modulo ⋮ Proof-term synthesis on dependent-type systems via explicit substitutions ⋮ Higher order unification via explicit substitutions

This page was built for publication:

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