메뉴 건너뛰기




Volumn , Issue , 2013, Pages 183-192

Turing machines with atoms

Author keywords

Sets with atoms; Turing machines

Indexed keywords

DESCRIPTIVE COMPLEXITY THEORY; DETERMINISTIC MACHINES; NOMINAL SETS;

EID: 84883425338     PISSN: 10436871     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/LICS.2013.24     Document Type: Conference Paper
Times cited : (52)

References (13)
  • 1
    • 0000409564 scopus 로고
    • An optimal lower bound on the number of variables for graph identifications
    • J. Cai, M. Fürer, and N. Immerman, "An optimal lower bound on the number of variables for graph identifications, " Combinatorica, vol. 12, no. 4, pp. 389-410, 1992.
    • (1992) Combinatorica , vol.12 , Issue.4 , pp. 389-410
    • Cai, J.1    Fürer, M.2    Immerman, N.3
  • 2
    • 23944501086 scopus 로고    scopus 로고
    • A new approach to abstract syntax with variable binding
    • M. Gabbay and A. M. Pitts, "A new approach to abstract syntax with variable binding, " Formal Asp. Comput., vol. 13, no. 3-5, pp. 341-363, 2002.
    • (2002) Formal Asp. Comput. , vol.13 , Issue.3-5 , pp. 341-363
    • Gabbay, M.1    Pitts, A.M.2
  • 3
    • 80052155671 scopus 로고    scopus 로고
    • Automata with group actions
    • M. Bojánczyk, B. Klin, and S. Lasota, "Automata with group actions, " in LICS, 2011, pp. 355-364.
    • (2011) LICS , pp. 355-364
    • Bojánczyk, M.1    Klin, B.2    Lasota, S.3
  • 4
    • 0004256163 scopus 로고
    • Studies in logic and the foundations of mathematics
    • North-Holland
    • J. Barwise, Ed., Handbook of Mathematical Logic, ser. Studies in Logic and the Foundations of Mathematics. North-Holland, 1977, no. 90.
    • (1977) Handbook of Mathematical Logic, ser , Issue.90
    • Barwise, J.1
  • 7
    • 70350366930 scopus 로고    scopus 로고
    • Nominal domain theory for concurrency
    • D. Turner and G. Winskel, "Nominal domain theory for concurrency, " in CSL, 2009, pp. 546-560.
    • (2009) CSL , pp. 546-560
    • Turner, D.1    Winskel, G.2
  • 8
    • 79953166828 scopus 로고    scopus 로고
    • Algorithmic nominal game semantics
    • A. S. Murawski and N. Tzevelekos, "Algorithmic nominal game semantics, " in ESOP, 2011, pp. 419-438.
    • (2011) ESOP , pp. 419-438
    • Murawski, A.S.1    Tzevelekos, N.2
  • 9
    • 84883368723 scopus 로고    scopus 로고
    • A machine-independent characterization of timed languages
    • M. Bojánczyk and S. Lasota, "A machine-independent characterization of timed languages, " in ICALP (2), 2012, pp. 92-103.
    • (2012) ICALP (2) , pp. 92-103
    • Bojánczyk, M.1    Lasota, S.2
  • 10
    • 84883426002 scopus 로고    scopus 로고
    • Toward model theory with data values
    • M. Bojánczyk and T. Place, "Toward model theory with data values, " in ICALP (2), 2012, pp. 116-127.
    • (2012) ICALP (2) , pp. 116-127
    • Bojánczyk, M.1    Place, T.2
  • 12
    • 84880211248 scopus 로고    scopus 로고
    • Imperative programming in sets with atoms
    • M. Bojánczyk and S. Torúnczyk, "Imperative programming in sets with atoms, " in FSTTCS, 2012, pp. 4-15.
    • (2012) FSTTCS , pp. 4-15
    • Bojánczyk, M.1    Torúnczyk, S.2
  • 13
    • 0001154051 scopus 로고
    • Stable finitely homogeneous structures
    • G. Cherlin and A. Lachlan, "Stable finitely homogeneous structures, " Trans. AMS, vol. 296, no. 2, pp. 815-850, 1985.
    • (1985) Trans. AMS , vol.296 , Issue.2 , pp. 815-850
    • Cherlin, G.1    Lachlan, A.2


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