Crossref Citations
This Book has been
cited by the following publications. This list is generated based on data provided by Crossref.
Rosick�, Ji?�
1994.
More on directed colimits of models.
Applied Categorical Structures,
Vol. 2,
Issue. 1,
p.
71.
Pfalzgraf, Jochen
1995.
Graph products of groups and group spaces.
Journal of Geometry,
Vol. 53,
Issue. 1-2,
p.
131.
Kreowski, Hans-Jörg
and
Mossakowski, Till
1995.
Equivalence and difference between institutions: simulating Horn Clause Logic with based algebras.
Mathematical Structures in Computer Science,
Vol. 5,
Issue. 2,
p.
189.
Adámek, Jiří
and
Rosický, Jiří
1995.
Finitary sketches and finitely accessible categories.
Mathematical Structures in Computer Science,
Vol. 5,
Issue. 3,
p.
315.
Mossakowski, Till
1995.
Recent Trends in Data Type Specification.
Vol. 906,
Issue. ,
p.
389.
Mossakowski, Till
1996.
Computer Science Logic.
Vol. 1092,
Issue. ,
p.
403.
Winskel, Glynn
1996.
CONCUR '96: Concurrency Theory.
Vol. 1119,
Issue. ,
p.
98.
Mossakowski, Till
1996.
Recent Trends in Data Type Specification.
Vol. 1130,
Issue. ,
p.
379.
Nishimura, Hirokazu
1996.
Logical quantizations of first-order structures.
International Journal of Theoretical Physics,
Vol. 35,
Issue. 3,
p.
495.
Ad�mek, Ji?�
and
Rosick�, Ji?�
1996.
On geometric and finitary sketches.
Applied Categorical Structures,
Vol. 4,
Issue. 2-3,
p.
227.
Hu, Hongde
and
Tholen, Walter
1996.
Quasi-coproducts and accessible categories with wide pullbacks.
Applied Categorical Structures,
Vol. 4,
Issue. 4,
p.
387.
Rosický, Jiří
1997.
Accessible categories, saturation and categoricity.
Journal of Symbolic Logic,
Vol. 62,
Issue. 3,
p.
891.
Cattani, Gian Luca
and
Winskel, Glynn
1997.
Computer Science Logic.
Vol. 1258,
Issue. ,
p.
58.
Fiore, Marcelo P.
and
Plotkin, Gordon D.
1997.
Computer Science Logic.
Vol. 1258,
Issue. ,
p.
129.
Fiore, M.
Plotkin, G.
and
Power, J.
1997.
Complete cuboidal sets in axiomatic domain theory.
p.
268.
Adámek, J.
Johnstone, P. T.
Makowsky, J. A.
and
Rosický, J.
1997.
Finitary sketches.
Journal of Symbolic Logic,
Vol. 62,
Issue. 3,
p.
699.
Barry Jay, C.
1997.
Covariant types.
Theoretical Computer Science,
Vol. 185,
Issue. 2,
p.
237.
Meseguer, José
1998.
Recent Trends in Algebraic Development Techniques.
Vol. 1376,
Issue. ,
p.
18.
Johnstone, P.
Power, J.
and
Tsujishita, T.
1998.
An axiomatics for categories of transition systems as coalgebras.
p.
207.
Barber, Andrew
Gardner, Philippa
Hasegawa, Masahito
and
Plotkin, Gordon
1998.
Computer Science Logic.
Vol. 1414,
Issue. ,
p.
78.