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.
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.
Adámek, Jiří
and
Rosický, Jiří
1995.
Finitary sketches and finitely accessible categories.
Mathematical Structures in Computer Science,
Vol. 5,
Issue. 3,
p.
315.
Hu, Hongde
and
Tholen, Walter
1996.
Quasi-coproducts and accessible categories with wide pullbacks.
Applied Categorical Structures,
Vol. 4,
Issue. 4,
p.
387.
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.
Fiore, M.
Plotkin, G.
and
Power, J.
1997.
Complete cuboidal sets in axiomatic domain theory.
p.
268.
Cattani, Gian Luca
and
Winskel, Glynn
1997.
Computer Science Logic.
Vol. 1258,
Issue. ,
p.
58.
Rosický, Jiří
1997.
Accessible categories, saturation and categoricity.
Journal of Symbolic Logic,
Vol. 62,
Issue. 3,
p.
891.
Fiore, Marcelo P.
and
Plotkin, Gordon D.
1997.
Computer Science Logic.
Vol. 1258,
Issue. ,
p.
129.
Barry Jay, C.
1997.
Covariant types.
Theoretical Computer Science,
Vol. 185,
Issue. 2,
p.
237.
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.
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.
Maietti, Maria Emilia
1998.
Types for Proofs and Programs.
Vol. 1512,
Issue. ,
p.
216.