Crossref Citations
This Book has been
cited by the following publications. This list is generated based on data provided by Crossref.
Piessens, Frank
and
Steegmans, Eric
1995.
Computer Science Logic.
Vol. 933,
Issue. ,
p.
397.
Otto, J. R.
1995.
Category Theory and Computer Science.
Vol. 953,
Issue. ,
p.
220.
Barr, Michael
and
Pedicchio, M. Cristina
1996.
Categorical Topology.
p.
81.
Lellahi, Kazem
and
Tannen, Val
1997.
Category Theory and Computer Science.
Vol. 1290,
Issue. ,
p.
261.
Cattani, Gian Luca
and
Winskel, Glynn
1997.
Computer Science Logic.
Vol. 1258,
Issue. ,
p.
58.
Cattani, Gian Luca
Stark, Ian
and
Winskel, Glynn
1997.
Category Theory and Computer Science.
Vol. 1290,
Issue. ,
p.
106.
Hensel, Ulrich
and
Jacobs, Bart
1997.
Category Theory and Computer Science.
Vol. 1290,
Issue. ,
p.
220.
Fiore, Marcelo P.
and
Plotkin, Gordon D.
1997.
Computer Science Logic.
Vol. 1258,
Issue. ,
p.
129.
Mossakowski, Till
1998.
Recent Trends in Algebraic Development Techniques.
Vol. 1376,
Issue. ,
p.
316.
Cirstea, Corina
1999.
Recent Trends in Algebraic Development Techniques.
Vol. 1589,
Issue. ,
p.
63.
Plotkin, Gordon
Power, John
Sannella, Donald
and
Tennent, Robert
2000.
Automata, Languages and Programming.
Vol. 1853,
Issue. ,
p.
85.
Schröder, Lutz
2001.
Computer Science Logic.
Vol. 2142,
Issue. ,
p.
429.
Cîrstea, Corina
2002.
Foundations of Software Science and Computation Structures.
Vol. 2303,
Issue. ,
p.
82.
Benton, Nick
Hughes, John
and
Moggi, Eugenio
2002.
Applied Semantics.
Vol. 2395,
Issue. ,
p.
42.
Tabuada, Paulo
2004.
CONCUR 2004 - Concurrency Theory.
Vol. 3170,
Issue. ,
p.
466.
Lambek, Joachim
and
Scott, Philip
2005.
An Exactification of the Monoid of Primitive Recursive Functions.
Studia Logica,
Vol. 81,
Issue. 1,
p.
1.
Borceux, F.
and
Clementino, Maria Manuel
2005.
Topological semi-abelian algebras.
Advances in Mathematics,
Vol. 190,
Issue. 2,
p.
425.
Jardine, J. F.
2006.
Diagrams and torsors.
K-Theory,
Vol. 37,
Issue. 3,
p.
291.
Voutsadakis, George
2006.
Categorical Abstract Algebraic Logic: Partially Ordered Algebraic Systems.
Applied Categorical Structures,
Vol. 14,
Issue. 1,
p.
81.
Gribovskaya, Natalya
and
Virbitskaite, Irina
2007.
Parallel Computing Technologies.
Vol. 4671,
Issue. ,
p.
35.