MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Combining and Representing Logical Systems." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

5 documents found, showing 1 through 5.

ATOM

Combining and Representing Logical Systems
by Till Mossakowski, Andrzej Tarlecki, Wieslaw Pawlowski — 1997
…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
by Till Mossakowski Andrzej, Andrzej Tarlecki — 1997
…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
by Till Mossakowski, Andrzej Tarlecki — 1997 — In Recent Trends in Algebraic Development Techniques, volume 1376 of LNCS
…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...
by Nd Eq Ui
…-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
by Elvira Pino — 1999
… and Logic Programs, Journal of Computer and Systems Sciences 49:334-361 (1994). [YY95] J-H. You, L. Y. Yuan…
Add To MetaCart

Showing 1 through 5.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB