Works matching IS 13670751 AND DT 2006 AND VI 14 AND IP 5

Results: 11
    1

    Comparing Computational Power.

    Published in:
    Logic Journal of the IGPL, 2006, v. 14, n. 5, p. 633, doi. 10.1093/jigpal/jzl003
    By:
    • Boker, Udi;
    • Dershowitz, Nachum
    Publication type:
    Article
    2

    Editorial.

    Published in:
    Logic Journal of the IGPL, 2006, v. 14, n. 5, p. 631, doi. 10.1093/jigpal/jzl002
    Publication type:
    Article
    3

    After Gödel.

    Published in:
    Logic Journal of the IGPL, 2006, v. 14, n. 5, p. 745, doi. 10.1093/jigpal/jzl008
    By:
    • Putnam, Hilary
    Publication type:
    Article
    4
    5

    A Lambek Automaton.

    Published in:
    Logic Journal of the IGPL, 2006, v. 14, n. 5, p. 659, doi. 10.1093/jigpal/jzl005
    By:
    • Veksler, Tatyana;
    • Francez, Nissim
    Publication type:
    Article
    6
    7
    8

    Adaptive Model Checking.

    Published in:
    Logic Journal of the IGPL, 2006, v. 14, n. 5, p. 729, doi. 10.1093/jigpal/jzl007
    By:
    • Groce, Alex;
    • Peled, Doron;
    • Yannakakis, Mihalis
    Publication type:
    Article
    9
    10

    Undecidability over Continuous Time.

    Published in:
    Logic Journal of the IGPL, 2006, v. 14, n. 5, p. 649, doi. 10.1093/jigpal/jzl004
    By:
    • Mycka, Jerzy;
    • Costa, José Félix
    Publication type:
    Article
    11

    Acknowledgements.

    Published in:
    Logic Journal of the IGPL, 2006, v. 14, n. 5, p. 826, doi. 10.1093/jigpal/jzl033
    Publication type:
    Article