|
Volumn 5635 LNCS, Issue , 2009, Pages 467-477
|
Dialectica interpretation with fine computational control
|
Author keywords
[No Author keywords available]
|
Indexed keywords
REALISABILITY;
CONCENTRATION (PROCESS);
PROGRAM INTERPRETERS;
COMPUTATION THEORY;
|
EID: 76249125012
PISSN: 03029743
EISSN: 16113349
Source Type: Book Series
DOI: 10.1007/978-3-642-03073-4_48 Document Type: Conference Paper |
Times cited : (5)
|
References (8)
|