Searching for "Bits and Pieces of the Theory of Institutions." – sorted by Relevance.

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

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

2 documents found, showing 1 through 2.

Bibliography for An Algebraic Study of Modularity in Logic Programming
by Elvira Pino — 1999
…-304. [Tar86] A. Tarlecki. Bits and pieces of the theory of institutions. Proceedings of Summer Workshop…
Add To MetaCart

Casl. 5 37. (with M. Bidoit) Behavioural satisfaction and equi...
by Nd Eq Ui
…--126. 12. Bits and pieces of the theory of institutions. Proc. Intl. Workshop on Category Theory…
Add To MetaCart

Showing 1 through 2.

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