Works matching IS 09425616 AND DT 2009 AND VI 55 AND IP 5


Results: 11
    1
    2
    3
    4

    Interpolation via translations.

    Published in:
    Mathematical Logic Quarterly, 2009, v. 55, n. 5, p. 515, doi. 10.1002/malq.200810013
    By:
    • Rasga, João;
    • Carnielli, Walter;
    • Sernadas, Cristina
    Publication type:
    Article
    5
    6
    7
    8
    9
    10
    11