Found: 3

Select item for more details and to access through your institution.

  • Semi-synchronous transductions.

    Published in:
    Acta Informatica, 2009, v. 46, n. 1, p. 29, doi. 10.1007/s00236-008-0083-2
    By:
    • Bárány, Vince
    Publication type:
    Article

  • SOME MODEL THEORY OF GUARDED NEGATION.

    Published in:
    Journal of Symbolic Logic, 2018, v. 83, n. 4, p. 1307, doi. 10.1017/jsl.2018.64
    By:
    • BÁRÁNY, VINCE;
    • BENEDIKT, MICHAEL;
    • CATE, BALDER TEN
    Publication type:
    Article

  • QUERYING THE GUARDED FRAGMENT.

    Published in:
    Logical Methods in Computer Science (LMCS), 2014, v. 10, n. 2, p. 1, doi. 10.2168/LMCS-10(2:3)2014
    By:
    • BÁRÁNY, VINCE;
    • GOTTLOB, GEORG;
    • OTTO, MARTIN
    Publication type:
    Article