Works about ARTIFICIAL languages


Results: 808
    1
    2
    3
    4
    5
    6
    7
    8
    9
    10
    11
    12
    13
    14
    15
    16
    17
    18
    19
    20
    21
    22
    23
    24
    25
    26
    27
    28
    29
    30
    31
    32
    33
    34

    Testing for refinement in Circus.

    Published in:
    Acta Informatica, 2011, v. 48, n. 2, p. 97, doi. 10.1007/s00236-011-0133-z
    By:
    • Cavalcanti, Ana;
    • Gaudel, Marie-Claude
    Publication type:
    Article
    35

    Regular autodense languages.

    Published in:
    Acta Informatica, 2008, v. 45, n. 7/8, p. 467, doi. 10.1007/s00236-008-0078-z
    By:
    • Chen-Ming Fan;
    • Huang, C. C.;
    • Shyr, H. J.
    Publication type:
    Article
    36
    37
    38

    Trajectory-based codes.

    Published in:
    Acta Informatica, 2004, v. 40, n. 6, p. 491, doi. 10.1007/s00236-004-0140-4
    By:
    • Domaratzki, Michael
    Publication type:
    Article
    39
    40

    How AI Is Ushering in a New Era in ELT: Teachers' Perspectives.

    Published in:
    Theory & Practice in Language Studies (TPLS), 2025, v. 15, n. 2, p. 592, doi. 10.17507/tpls.1502.29
    By:
    • Mishu, Anjum;
    • Ahamed, Md. Mostaq;
    • Akan, Md. Faruquzzaman;
    • Abdul-Rab, Salahud Din;
    • Chowdhury, Gaus;
    • Ahmad, Javed;
    • Sultana, Irin
    Publication type:
    Article
    41
    42
    43

    Commentary.

    Published in:
    Social & Cultural Geography, 2005, v. 6, n. 1, p. 1, doi. 10.1080/1464936052000335937
    By:
    • Kitchin, Rob
    Publication type:
    Article
    44
    45
    46

    Introduction.

    Published in:
    Studia Theologica, 2014, v. 68, n. 1, p. 1, doi. 10.1080/0039338X.2014.906065
    By:
    • Busch Nielsen, Kirsten
    Publication type:
    Article
    47
    48
    49

    FORMAL VERIFICATION OF P SYSTEMS USING SPIN.

    Published in:
    International Journal of Foundations of Computer Science, 2011, v. 22, n. 1, p. 133, doi. 10.1142/S0129054111007897
    By:
    • IPATE, FLORENTIN;
    • LEFTICARU, RALUCA;
    • TUDOSE, CRISTINA;
    • Pérez-Jiménez, Mario J.
    Publication type:
    Article
    50

    ORTHOGONAL SHUFFLE ON TRAJECTORIES.

    Published in:
    International Journal of Foundations of Computer Science, 2011, v. 22, n. 1, p. 213, doi. 10.1142/S0129054111007964
    By:
    • DALEY, MARK;
    • KARI, LILA;
    • SEKI, SHINNOSUKE;
    • SOSÌK, PETR;
    • Gheorghe, Marian
    Publication type:
    Article