Game semantics & abstract machines

Proceedings - Symposium on Logic in Computer Science

Volumn , Issue , 1996, Pages 394-405

  Danos, V ^a   Herbelin, H ^a   Regnier, L ^a  

^a UNIVERSITÉ PARIS DESCARTES   (France)

Author keywords

[No Author keywords available]

Indexed keywords

GAME THEORY; MATHEMATICAL MODELS; THEOREM PROVING;

ABSTRACT MACHINES; GAME SEMANTICS; LINEAR HEAD REDUCTION;

COMPUTATIONAL LINGUISTICS;

EID: 0029700014     PISSN: 10436871     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (11)