|
|
|
Volumn , Issue , 1995, Pages 464-473
|
|
Games semantics for full propositional linear logic
|
|
Author keywords
[No Author keywords available]
|
|
Indexed keywords
ALGORITHMS;
COMPUTATIONAL LINGUISTICS;
DATA STRUCTURES;
GAME THEORY;
MATHEMATICAL MODELS;
THEOREM PROVING;
CLASSICAL LINEAR LOGIC;
FULL COMPLETENESS THEOREM;
GAMES SEMANTICS;
INTUITIONISTIC LINEAR LOGIC;
TECHNICAL INNOVATION;
FORMAL LOGIC;
|
|
EID: 0029201377
PISSN: 10436871
EISSN: None
Source Type: Conference Proceeding
DOI: None Document Type: Conference Paper |
|
Times cited : (28)
|
|
References (20)
|
