scientific article; zbMATH DE number 1318513

zbMath0925.03041MaRDI QIDQ4256645

Samson Abramsky, Radha Jagadeesan

Publication date: 8 August 1999

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

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (6)

Understanding Game Semantics Through Coherence Spaces ⋮ A Graphical Foundation for Schedules ⋮ Petri nets, Horn programs, linear logic and vector games ⋮ A graphical foundation for interleaving in game semantics ⋮ On maximal stable functions ⋮ Finite games for a predicate logic without contractions

This page was built for publication: