Works matching IS 00015903 AND DT 2010 AND VI 47 AND IP 4

Results: 3
    1

    A note on autodense related languages.

    Published in:
    Acta Informatica, 2010, v. 47, n. 4, p. 209, doi. 10.1007/s00236-010-0116-5
    By:
    • Chen-Ming Fan;
    • Huang, C.;
    • Shyr, H.;
    • Kuo-Hsiang Chen
    Publication type:
    Article
    2

    On regular temporal logics with past.

    Published in:
    Acta Informatica, 2010, v. 47, n. 4, p. 251, doi. 10.1007/s00236-010-0118-3
    By:
    • Dax, Christian;
    • Klaedtke, Felix;
    • Lange, Martin
    Publication type:
    Article
    3

    Quantum loop programs.

    Published in:
    Acta Informatica, 2010, v. 47, n. 4, p. 221, doi. 10.1007/s00236-010-0117-4
    By:
    • Mingsheng Ying;
    • Yuan Feng
    Publication type:
    Article