Up a level |
Number of items: 1.
Jung, JC, Lutz, C, Martel, M, Schneider, T and Wolter, F
Conservative Extensions in Guarded and Two-Variable Fragments.
Up a level |
Jung, JC, Lutz, C, Martel, M, Schneider, T and Wolter, F
Conservative Extensions in Guarded and Two-Variable Fragments.
Research Support, University of Liverpool
Sydney Jones Library, Abercromby Square
Liverpool
L69 3DA,
UK
+44 (0)151 794 0000