scientific article; zbMATH DE number 1956506

zbMath1029.68095MaRDI QIDQ4417852

Luigi Santocanale, André Arnold

Publication date: 30 July 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2620/26200070.htm

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) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (1)

The variable hierarchy for the games \(\mu \)-calculus

This page was built for publication: