Works matching IS 13670751 AND DT 2009 AND VI 17 AND IP 2


Results: 5
    1
    2
    3

    Acknowledgements.

    Published in:
    Logic Journal of the IGPL, 2009, v. 17, n. 2, p. 225, doi. 10.1093/jigpal/jzp005
    Publication type:
    Article
    4
    5

    Unifiability in extensions of K4.

    Published in:
    Logic Journal of the IGPL, 2009, v. 17, n. 2, p. 159, doi. 10.1093/jigpal/jzn032
    By:
    • GENCER, ÇIĞDEM;
    • DE JONGH, DICK
    Publication type:
    Article