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.
Mossakowski, Till
1995.
Recent Trends in Data Type Specification.
Vol. 906,
Issue. ,
p.
389.
Pfalzgraf, Jochen
1995.
Graph products of groups and group spaces.
Journal of Geometry,
Vol. 53,
Issue. 1-2,
p.
131.
Mossakowski, Till
1996.
Computer Science Logic.
Vol. 1092,
Issue. ,
p.
403.
Mossakowski, Till
1996.
Recent Trends in Data Type Specification.
Vol. 1130,
Issue. ,
p.
379.
Winskel, Glynn
1996.
CONCUR '96: Concurrency Theory.
Vol. 1119,
Issue. ,
p.
98.
Hu, Hongde
and
Tholen, Walter
1996.
Quasi-coproducts and accessible categories with wide pullbacks.
Applied Categorical Structures,
Vol. 4,
Issue. 4,
p.
387.
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.
Barry Jay, C.
1997.
Covariant types.
Theoretical Computer Science,
Vol. 185,
Issue. 2,
p.
237.
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.
Rosický, Jiří
1997.
Accessible categories, saturation and categoricity.
Journal of Symbolic Logic,
Vol. 62,
Issue. 3,
p.
891.
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.
Cattani, Gian Luca
and
Winskel, Glynn
1997.
Computer Science Logic.
Vol. 1258,
Issue. ,
p.
58.
Meseguer, José
1998.
Recent Trends in Algebraic Development Techniques.
Vol. 1376,
Issue. ,
p.
18.
Koubek, V.
and
Sichler, J.
1998.
On Full and Faithful Kan Extensions.
Applied Categorical Structures,
Vol. 6,
Issue. 3,
p.
291.
Maietti, Maria Emilia
1998.
Types for Proofs and Programs.
Vol. 1512,
Issue. ,
p.
216.