scientific article

zbMath1273.68209MaRDI QIDQ2852364

Paul Blain Levy

Publication date: 8 October 2013

Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066106002064

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

Mathematics Subject Classification ID

Applications of game theory (91A80) Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (2)

Infinite trace equivalence ⋮ Amb Breaks Well-Pointedness, Ground Amb Doesn't

This page was built for publication: