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.
Adámek, Jiří
and
Rosický, Jiří
1995.
Finitary sketches and finitely accessible categories.
Mathematical Structures in Computer Science,
Vol. 5,
Issue. 3,
p.
315.
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.
Pfalzgraf, Jochen
1995.
Graph products of groups and group spaces.
Journal of Geometry,
Vol. 53,
Issue. 1-2,
p.
131.
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.
Hu, Hongde
and
Tholen, Walter
1996.
Quasi-coproducts and accessible categories with wide pullbacks.
Applied Categorical Structures,
Vol. 4,
Issue. 4,
p.
387.
Ad�mek, Ji?�
and
Rosick�, Ji?�
1996.
On geometric and finitary sketches.
Applied Categorical Structures,
Vol. 4,
Issue. 2-3,
p.
227.
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.
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.
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.
Rosický, Jiří
1997.
Accessible categories, saturation and categoricity.
Journal of Symbolic Logic,
Vol. 62,
Issue. 3,
p.
891.
Maietti, Maria Emilia
1998.
Types for Proofs and Programs.
Vol. 1512,
Issue. ,
p.
216.
Johnstone, P.
Power, J.
and
Tsujishita, T.
1998.
An axiomatics for categories of transition systems as coalgebras.
p.
207.
Meseguer, José
1998.
Recent Trends in Algebraic Development Techniques.
Vol. 1376,
Issue. ,
p.
18.