Concurrent games and full completeness

Proceedings - Symposium on Logic in Computer Science

Volumn , Issue , 1999, Pages 431-442

  Abramsky, Samson ^a   Mellies, Paul Andre ^a  

^a UNIVERSITY OF EDINBURGH   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL COMPLEXITY; FORMAL LOGIC; GAME THEORY; MATHEMATICAL MODELS; PROBLEM SOLVING;

CONCURRENT GAMES; FULL COMPLETENESS THEOREM; GAME SEMANTICS; LINEAR LOGIC;

COMPUTATIONAL LINGUISTICS;

EID: 0032597487     PISSN: None     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (17)