Works matching IS 13670751 AND DT 1998 AND VI 6 AND IP 4

Results: 6
    1
    2

    Hybrid completeness.

    Published in:
    Logic Journal of the IGPL, 1998, v. 6, n. 4, p. 625, doi. 10.1093/jigpal/6.4.625
    By:
    • Blackburn, P;
    • Tzakova, M
    Publication type:
    Article
    3
    4
    5

    Fork algebraic datatypes.

    Published in:
    Logic Journal of the IGPL, 1998, v. 6, n. 4, p. 531, doi. 10.1093/jigpal/6.4.531
    By:
    • Martínez López, PE;
    • Baum, GA
    Publication type:
    Article
    6

    Editorial.

    Published in:
    Logic Journal of the IGPL, 1998, v. 6, n. 4, p. 529, doi. 10.1093/jigpal/6.4.529
    By:
    • Anon
    Publication type:
    Article