|
|
|
Volumn , Issue , 1991, Pages 304-318
|
|
Uniform proof-theoretic foundation of linear logic programming (extended abstract)
a
|
|
Author keywords
[No Author keywords available]
|
|
Indexed keywords
ANALYSIS;
COMPUTATION THEORY;
EQUIVALENCE CLASSES;
FORMAL LOGIC;
HIGH LEVEL LANGUAGES;
LINEAR PROGRAMMING;
PROGRAM INTERPRETERS;
PROGRAM TRANSLATORS;
THEOREM PROVING;
LINEAR LOGIC;
MODALITY;
NOTIONS;
PROOF THEORETIC ANALYSIS;
RESOLUTION PROOF;
UNIFORM PROOF;
LOGIC PROGRAMMING;
|
|
EID: 0026271308
PISSN: None
EISSN: None
Source Type: Conference Proceeding
DOI: None Document Type: Conference Paper |
|
Times cited : (19)
|
|
References (16)
|
