Works matching IS 09425616 AND DT 2001 AND VI 47 AND IP 2

Results: 11
    1

    Weakly o-Minimal Expansions of Boolean Algebras.

    Published in:
    Mathematical Logic Quarterly, 2001, v. 47, n. 2, p. 223, doi. 10.1002/1521-3870(200105)47:2<223::AID-MALQ223>3.0.CO;2-I
    By:
    • Leonesi, Stefano;
    • Toffalori, Carlo
    Publication type:
    Article
    2

    Constructive Order Theory.

    Published in:
    Mathematical Logic Quarterly, 2001, v. 47, n. 2, p. 211, doi. 10.1002/1521-3870(200105)47:2<211::AID-MALQ211>3.0.CO;2-U
    By:
    • Erné, Marcel
    Publication type:
    Article
    3
    4

    On Genericity and Ershov's Hierarchy.

    Published in:
    Mathematical Logic Quarterly, 2001, v. 47, n. 2, p. 161, doi. 10.1002/1521-3870(200105)47:2<161::AID-MALQ161>3.0.CO;2-E
    By:
    • Gale, Amy;
    • Downey, Rod
    Publication type:
    Article
    5
    6

    Heyting Algebras with Operators.

    Published in:
    Mathematical Logic Quarterly, 2001, v. 47, n. 2, p. 187, doi. 10.1002/1521-3870(200105)47:2<187::AID-MALQ187>3.0.CO;2-J
    By:
    • Hasimoto, Yasusi
    Publication type:
    Article
    7
    8
    9

    Prediction in Branching Time Logic.

    Published in:
    Mathematical Logic Quarterly, 2001, v. 47, n. 2, p. 239, doi. 10.1002/1521-3870(200105)47:2<239::AID-MALQ239>3.0.CO;2-R
    By:
    • Bonanno, Giacomo
    Publication type:
    Article
    10
    11

    Infinite Time Turing Machines With Only One Tape.

    Published in:
    Mathematical Logic Quarterly, 2001, v. 47, n. 2, p. 271, doi. 10.1002/1521-3870(200105)47:2<271::AID-MALQ271>3.0.CO;2-6
    By:
    • Hamkinsa, Joel David;
    • Seabold, Daniel Evan
    Publication type:
    Article