Games with Sequential Backtracking and Complete Game Semantics for Subclassical Logics

DOI10.1007/978-3-642-38946-7_7zbMath1381.68029OpenAlexW2281731248MaRDI QIDQ5300894

Stefano Berardi, Makoto Tatsuta

Publication date: 28 June 2013

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-38946-7_7

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Logic in computer science (03B70) Semantics in the theory of computing (68Q55) First-order arithmetic and fragments (03F30) Combinatory logic and lambda calculus (03B40)

This page was built for publication: Games with Sequential Backtracking and Complete Game Semantics for Subclassical Logics