메뉴 건너뛰기




Volumn 79, Issue 3, 2001, Pages 141-145

On the orthographic dimension of definable sets

Author keywords

Definability; Logic; Orthographic dimension; Variable independence

Indexed keywords

BOOLEAN FUNCTIONS; MATHEMATICAL MODELS;

EID: 0035979455     PISSN: 00200190     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0020-0190(00)00184-8     Document Type: Article
Times cited : (6)

References (7)
  • 7
    • 84974588212 scopus 로고    scopus 로고
    • Variable independence, quantifier elimination, and constraint representations
    • International Colloquium on Automata, Languages and Programming (ICALP'00), Springer, Berlin
    • (2000) Lecture Notes in Comput. Sci. , vol.1853 , pp. 260-271
    • Libkin, L.1


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.