Combining and Representing Logical Systems Using Model-Theoretic Parchments (1997)

Cached

Download Links

by Till Mossakowski , Andrzej Tarlecki
Venue:In Recent Trends in Algebraic Development Techniques, volume 1376 of LNCS
Citations:15 - 4 self