|
|
|
Volumn , Issue , 1993, Pages 42-51
|
|
NP-trees and Carnap's modal logic
|
|
Author keywords
[No Author keywords available]
|
|
Indexed keywords
ARTIFICIAL INTELLIGENCE;
COMPUTABILITY AND DECIDABILITY;
EQUIVALENCE CLASSES;
FORMAL LOGIC;
GRAPH THEORY;
QUERY LANGUAGES;
TREES (MATHEMATICS);
TURING MACHINES;
CARNAP'S MODAL LOGIC;
COMPLEXITY CLASSES;
DIRECTED GRAPHS;
FORMULA VALIDITY CHECKING;
ORACLE QUERIES;
PROPOSITIONAL THEORY;
COMPUTATIONAL COMPLEXITY;
|
|
EID: 0027847384
PISSN: 02725428
EISSN: None
Source Type: Conference Proceeding
DOI: None Document Type: Conference Paper |
|
Times cited : (7)
|
|
References (28)
|
