scientific article
From MaRDI portal
Publication:2767019
zbMath0988.68036MaRDI QIDQ2767019
Roberto Di Cosmo, Jean-Vincent Loddo
Publication date: 22 July 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (4)
A game semantics for disjunctive logic programming ⋮ Proof and refutation in MALL as a game ⋮ Exploiting Game Theory for Analysing Justifications ⋮ Towards Ludics Programming: Interactive Proof Search
This page was built for publication:
