Crossref Citations
This Book has been
cited by the following publications. This list is generated based on data provided by Crossref.
Cohn, Anthony G.
1992.
Completing sort hierarchies.
Computers & Mathematics with Applications,
Vol. 23,
Issue. 6-9,
p.
477.
Desharnais, Jules
Belkhiter, Nadir
Sghaier, Salah Ben Mohamed
Tchier, Fairouz
Jaoua, Ali
Mili, Ali
and
Zaguia, Nejib
1995.
Embedding a demonic semilattice in a relation algebra.
Theoretical Computer Science,
Vol. 149,
Issue. 2,
p.
333.
Doornbos, Henk
Backhouse, Roland
and
van der Woude, Jaap
1997.
A calculational approach to mathematical induction.
Theoretical Computer Science,
Vol. 179,
Issue. 1-2,
p.
103.
Hartonas, Chrysafis
1998.
Duality for modal μ-logics.
Theoretical Computer Science,
Vol. 202,
Issue. 1-2,
p.
193.
Devillers, R.
and
Koutny, M.
1998.
Recursive nets in the box algebra.
p.
239.
Lounis, Hakim
Sahraoui, Houari A.
and
Melo, Walcélio L.
1999.
Wiley Encyclopedia of Electrical and Electronics Engineering.
Thompson, J. M. T.
and
Knuth, Kevin H.
2003.
Intelligent machines in the twenty-first century: foundations of inference and inquiry.
Philosophical Transactions of the Royal Society of London. Series A: Mathematical, Physical and Engineering Sciences,
Vol. 361,
Issue. 1813,
p.
2859.
Meguire, Philip
2003.
Discovering boundary algebra: A simple notation for Boolean algebra and the truth functors.
International Journal of General Systems,
Vol. 32,
Issue. 1,
p.
25.
Wolf, Ruben
and
Schneider, Markus
2003.
Computer Network Security.
Vol. 2776,
Issue. ,
p.
267.
Gabarró, Joaquim
Stewart, Alan
Clint, Maurice
Boyle, Eamonn
and
Vallejo, Isabel
2003.
Euro-Par 2003 Parallel Processing.
Vol. 2790,
Issue. ,
p.
640.
Sabetzadeh, M.
and
Easterbrook, S.
2003.
Analysis of inconsistency in graph-based viewpoints: a category-theoretical approach.
p.
12.
Lerche, Dorte
Sørensen, Peter B.
and
Brüggemann, Rainer
2003.
Improved Estimation of the Ranking Probabilities in Partial Orders Using Random Linear Extensions by Approximation of the Mutual Ranking Probability.
Journal of Chemical Information and Computer Sciences,
Vol. 43,
Issue. 5,
p.
1471.
Back, Ralph-Johan
and
Preoteasa, Viorel
2003.
Reasoning about recursive procedures with parameters.
p.
1.
Arevalo, G.
Buchli, F.
and
Nierstrasz, O.
2004.
Detecting implicit collaboration patterns.
p.
122.
(Kit) Dampney, C. N. G.
and
Aisbett, Janet
2004.
Constructing the Infrastructure for the Knowledge Economy.
p.
169.
Chein, Michel
and
Mugnier, Marie-Laure
2004.
Conceptual Structures at Work.
Vol. 3127,
Issue. ,
p.
303.
Casas-Garriga, Gemma
and
Balcázar, José L.
2004.
Graph Transformations.
Vol. 3256,
Issue. ,
p.
336.
Järvinen, Jouni
2004.
Rough Sets and Current Trends in Computing.
Vol. 3066,
Issue. ,
p.
49.
Morris, Joseph M.
2004.
Mathematics of Program Construction.
Vol. 3125,
Issue. ,
p.
274.
Nath, Suman
Gibbons, Phillip B.
Seshan, Srinivasan
and
Anderson, Zachary R.
2004.
Synopsis diffusion for robust aggregation in sensor networks.
p.
250.