Search all the public and authenticated articles in CiteULike.
Enter a search phrase. You can also specify

a CiteULike article id (123456),

a DOI (doi:10.1234/12345678)

or a PubMed Id (pmid:12345678).

Click Help for advanced usage.

masteraka's Goguen:JA [5 articles] Export Sort

Recent papers posted to masteraka's library by the author Goguen:JA. You can also see everyone's Goguen:JA.

Hide details

	Some fundamental algebraic tools for the semantics of computation : Part 1: Comma Categories, Colimits, Signatures and Theories [My Copy] Theoretical Computer Science, Vol. 31, No. 1-2. (1984), pp. 175-209. by J. A. Goguen, R. M. Burstall posted to category_theory by masteraka on 2007-10-25 05:15:04 as along with 1 person msakai
	Some fundamental algebraic tools for the semantics of computation , : Part 2: Signed and abstract theories [My Copy] Theoretical Computer Science, Vol. 31, No. 3. (1984), pp. 263-295. by J. A. Goguen, R. M. Burstall posted to no-tag by masteraka on 2007-10-25 05:14:27 as along with 1 person msakai
	Some fundamental algebraic tools for the semantics of computation: Part 3. indexed categories [My Copy] Theoretical Computer Science, Vol. 91, No. 2. (23 December 1991), pp. 239-264. by Andrzej Tarlecki, Rod M. Burstall, Joseph A. Goguen posted to category_theory computation by masteraka on 2007-10-25 05:06:24 as along with 1 person msakai
	A Categorical Manifesto [My Copy] Mathematical Structures in Computer Science, Vol. 1, No. 1. (1991), pp. 49-67. by Joseph A. Goguen posted to category_theory by masteraka on 2007-10-11 22:16:14 as along with 14 people and 1 group pedagand robotact spl ansobol jrw bonotake scis0000001 pilho rgb kaqui ajk artur popx marcinzalewski pileWorks
	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/author/Goguen:JA

CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.

Sort by:
Order:	Default Ascending Descending
Empty fields:	Default First Last

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

masteraka's Goguen:JA [5 articles] Export Sort

masteraka's tags