scientific article; zbMATH DE number 785048
From MaRDI portal
Publication:4842537
zbMATH Open0832.68021MaRDI QIDQ4842537
Publication date: 14 August 1995
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Cut-elimination and normal-form theorems (03F05) Logic programming (68N17) Many-valued logic (03B50)
Related Items (6)
Declarative Logic Programming: Theory, Systems, and Applications ⋮ Mints type deductive calculi for logic programming ⋮ Unnamed Item ⋮ An approach to declarative programming based on a rewriting logic ⋮ A new methodology for developing deduction methods ⋮ Declarative programming
This page was built for publication:
