Searching for "Combining and Representing Logical Systems." – sorted by Relevance.
-
Combining and Representing Logical Systems
- Combining and Representing Logical Systems Till Mossakowski 1 , Andrzej Tarlecki 2 and Wies
- Cited by 12 (3 self) – Add To MetaCart
-
Combining and Representing Logical Systems
- Combining and Representing Logical Systems Till Mossakowski 1 , Andrzej Tarlecki 2 and Wies
- Add To MetaCart
-
Combining and Representing Logical Systems Using Model-Theoretic Parchments
- Combining and Representing Logical Systems Using Model-Theoretic Parchments ? Till Mossakowski 1
- Cited by 15 (4 self) – Add To MetaCart
-
Casl. 5 37. (with M. Bidoit) Behavioural satisfaction and equi...
- -Verlag 1996. 41. (with T. Mossakowski, W.Paw/lowski) Combining and representing logical systems. Proc. 7th
- Add To MetaCart
-
Bibliography for An Algebraic Study of Modularity in Logic Programming
- and Logic Programs, Journal of Computer and Systems Sciences 49:334-361 (1994). [YY95] J-H. You, L. Y. Yuan
- Add To MetaCart

