Works matching IS 01380680 AND DT 2020 AND VI 49 AND IP 3

Results: 5
    1

    EQUALITY LOGIC.

    Published in:
    Bulletin of the Section of Logic, 2020, v. 49, n. 3, p. 291, doi. 10.18778/0138-0680.2020.14
    By:
    • Ghorbani, Shokoofeh
    Publication type:
    Article
    2

    MODULE STRUCTURE ON EFFECT ALGEBRAS.

    Published in:
    Bulletin of the Section of Logic, 2020, v. 49, n. 3, p. 269, doi. 10.18778/0138-0680.2020.17
    By:
    • Goraghani, Simin Saidi;
    • Borzooei, Rajab Ali
    Publication type:
    Article
    3
    4
    5

    PROOF COMPRESSION AND NP VERSUS PSPACE II.

    Published in:
    Bulletin of the Section of Logic, 2020, v. 49, n. 3, p. 212, doi. 10.18778/0138-0680.2020.16
    By:
    • Gordeev, Lew;
    • Haeusler, Edward Hermann
    Publication type:
    Article