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.
Cattani, Gian Luca
Stark, Ian
and
Winskel, Glynn
1997.
Category Theory and Computer Science.
Vol. 1290,
Issue. ,
p.
106.
Lellahi, Kazem
and
Tannen, Val
1997.
Category Theory and Computer Science.
Vol. 1290,
Issue. ,
p.
261.
Hensel, Ulrich
and
Jacobs, Bart
1997.
Category Theory and Computer Science.
Vol. 1290,
Issue. ,
p.
220.
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.
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.
Benton, Nick
Hughes, John
and
Moggi, Eugenio
2002.
Applied Semantics.
Vol. 2395,
Issue. ,
p.
42.
Cîrstea, Corina
2002.
Foundations of Software Science and Computation Structures.
Vol. 2303,
Issue. ,
p.
82.
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.
Voutsadakis, George
2006.
Categorical Abstract Algebraic Logic: Partially Ordered Algebraic Systems.
Applied Categorical Structures,
Vol. 14,
Issue. 1,
p.
81.
Jardine, J. F.
2006.
Diagrams and torsors.
K-Theory,
Vol. 37,
Issue. 3,
p.
291.
Gribovskaya, Natalya
and
Virbitskaite, Irina
2007.
Parallel Computing Technologies.
Vol. 4671,
Issue. ,
p.
35.