scientific article; zbMATH DE number 1088021

zbMath0889.68026MaRDI QIDQ4364368

Michael Codish, Cohavit Taboch

Publication date: 11 June 1998

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

zbMATH Keywords

declarative semanticsbinary unfoldings

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (2)

Unnamed Item ⋮ Finite-tree analysis for constraint logic-based languages

This page was built for publication: