scientific article

zbMath0673.03019MaRDI QIDQ3826527

Max I. Kanovich

Publication date: 1989

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

zbMATH Keywords

intuitionistic propositional logicprogram synthesis

Mathematics Subject Classification ID

Logic in computer science (03B70) Abstract data types; algebraic specification (68Q65) Artificial intelligence (68T99) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (2)

Linear logic as a logic of computations ⋮ On \(\text{NP}\)-completeness in linear logic

This page was built for publication: