masteraka's institutions [10 articles] Export

Recent papers added to masteraka's library classified by the tag institutions. You can also see everyone's institutions.

Hide details

	Interpolation in Grothendieck Institutions [My Copy] Theoretical Computer Science, Vol. 311, No. 1-3. (23 January 2004), pp. 439-461. by Razvan Diaconescu posted to institutions by masteraka on 2007-10-25 06:04:04 as
	Herbrand theorems in arbitrary institutions [My Copy] Information Processing Letters, Vol. 90, No. 1. (15 April 2004), pp. 29-37. by Razvan Diaconescu posted to institutions by masteraka on 2007-10-25 06:00:41 as
	Elementary Diagrams in Institutions [My Copy] J Logic Computation, Vol. 14, No. 5. (1 October 2004), pp. 651-674. by Razvan Diaconescu posted to institutions by masteraka on 2007-10-25 05:47:30 as
	Institution Morphisms [My Copy] Formal Aspects of Computing, Vol. 13, No. 3. (5 July 2002), pp. 274-307. by Joseph Goguen, Grigore Roşu posted to institutions by masteraka on 2007-10-25 05:21:20 as along with 2 people msakai adrian_pigors
	A soft stairway to institutions [My Copy] Recent Trends in Data Type Specification (1993), pp. 310-329. by Antonino Salibra, Giuseppe Scollo posted to institutions by masteraka on 2007-10-25 04:50:36 as
	Jewels of Institution-Independent Model Theory [My Copy] Algebra, Meaning and Computation (2006), pp. 65-98. by Răzvan Diaconescu posted to confirmation category_theory institutions model_theory transfer by masteraka on 2007-10-11 22:33:45 as along with 1 person sgwyj
	Institutions: integrating objects, XML and databases [My Copy] Information and Software Technology, Vol. 44, No. 4. (31 March 2002), pp. 207-216. by Suad Alagic posted to confirmation category_theory databases institutions transfer by masteraka on 2007-10-11 22:19:01 as along with 1 person artur
	Introducing institutions [My Copy] Lecture Notes in Computer Science In Logics of Programs, Vol. 164 (1984), pp. 221-256. by J. Goguen, R. Burstall posted to institutions by masteraka on 2007-09-30 23:14:03 as along with 1 person msakai
	A study in the foundations of programming methodology: Specifications, institutions, charters and parchments [My Copy] Category Theory and Computer Programming (1986), pp. 313-333. by Joseph Goguen, R. Burstall posted to confirmation institutions transfer by masteraka on 2007-09-30 22:31:53 as along with 1 person msakai
	Institutions: abstract model theory for specification and programming [My Copy] J. ACM, Vol. 39, No. 1. (January 1992), pp. 95-146. by Joseph A. Goguen, Rod M. Burstall posted to confirmation institutions transfer by masteraka on 2007-09-30 22:22:34 as along with 9 people and 2 groups mishra_satish fraktalek mahler msakai bonotake adrian_pigors scis0000001 marcinzalewski Scis0000002 ConcertRG Rightscom

Note: You may cite this page as: http://www.citeulike.org/user/masteraka/tag/institutions

confirmation	33
transfer	25
category_theory	22
databases	17
data_exchange	12
caesar_paper	11
hypertree_decomposition	11
institutions	10
game_theory	8
complexity	6
reading_list	6
atm	5
data_integration	4
model_theory	4
parallel_computation	4
universal_algebra	4
cores	3
decompositions	3
hypergraphs	3
computation	2
mpi	2
bcq	1
coalgebra	1
haskell	1
htd	1
inverses	1
logic	1
music	1
separators	1
tree_decomposition	1
xml	1

masteraka's institutions [10 articles] Export

masteraka's tags