scientific article
From MaRDI portal
Publication:3593497
zbMath1182.03067MaRDI QIDQ3593497
Publication date: 20 July 2007
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Computational learning theory (68Q32) Applications of game theory (91A80) Logic in computer science (03B70) Mechanization of proofs and logical operations (03B35) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (5)
Erratum to: ``Between proof and truth ⋮ Positive Arithmetic Without Exchange Is a Subclassical Logic ⋮ Games with 1-backtracking ⋮ A New Translation for Semi-classical Theories — Backtracking without CPS ⋮ Interactive Learning-Based Realizability Interpretation for Heyting Arithmetic with EM 1
This page was built for publication:
