Crossref Citations
This Book has been
cited by the following publications. This list is generated based on data provided by Crossref.
Bothe, Klaus
2006.
Informatik.
p.
1.
SULZMANN, MARTIN
and
STUCKEY, PETER J.
2008.
HM(X) type inference is CLP(X) solving.
Journal of Functional Programming,
Vol. 18,
Issue. 02,
Murawski, Andrzej S.
and
Tzevelekos, Nikos
2010.
Foundations of Software Science and Computational Structures.
Vol. 6014,
Issue. ,
p.
33.
Venkata Rao, K.
and
Viswanath, Kasturi
2010.
Mapcode characterization of partial recursive maps.
Sankhya A,
Vol. 72,
Issue. 1,
p.
276.
Tomoiaga, Bogdan
Chindris, Mircea
Sudria-Andreu, Antoni
and
Sumper, Andreas
2011.
Object oriented backward/forward algorithm for unbalanced and harmonic polluted distribution systems.
p.
1.
Furia, Carlo A.
Mandrioli, Dino
Morzenti, Angelo
and
Rossi, Matteo
2012.
Modeling Time in Computing.
p.
9.
Gu, Baolei
2012.
Computational Intelligence and Intelligent Systems.
Vol. 316,
Issue. ,
p.
50.
Rescorla, Michael
2013.
Against Structuralist Theories of Computational Implementation.
The British Journal for the Philosophy of Science,
Vol. 64,
Issue. 4,
p.
681.
Ricci, Alessandro
and
Santi, Andrea
2013.
Programming Multi-Agent Systems.
Vol. 7837,
Issue. ,
p.
138.
Ricci, Alessandro
and
Yonezawa, Akinori
2013.
Away from the sequential paradigm tarpit.
p.
1.
Fernández, Maribel
2014.
Programming Languages and Operational Semantics.
p.
93.
Voufo, Larisse
Zalewski, Marcin
and
Lumsdaine, Andrew
2014.
Scoping rules on a platter.
p.
59.
Ricci, Alessandro
and
Santi, Andrea
2014.
Concurrent Objects and Beyond.
Vol. 8665,
Issue. ,
p.
408.
Zolotas, Athanasios
Matragkas, Nicholas
Devlin, Sam
Kolovos, Dimitrios S.
and
Paige, Richard F.
2015.
Modelling Foundations and Applications.
Vol. 9153,
Issue. ,
p.
75.
Baldoni, Matteo
Baroglio, Cristina
Calvanese, Diego
Micalizio, Roberto
and
Montali, Marco
2016.
Engineering Multi-Agent Systems.
Vol. 10093,
Issue. ,
p.
22.
Amann, Julian
and
Borrmann, André
2016.
Embedding Procedural Knowledge into Building Information Models: The IFC Procedural Language and Its Application for Flexible Transition Curve Representation.
Journal of Computing in Civil Engineering,
Vol. 30,
Issue. 5,
Ma, Xiaogang
Erickson, John
Zednik, Stephan
West, Patrick
and
Fox, Peter
2016.
Semantic Specification of Data Types for a World of Open Data.
ISPRS International Journal of Geo-Information,
Vol. 5,
Issue. 3,
p.
38.
Jensen, Lee A.
and
Williams, Lance R.
2018.
Unconventional Computation and Natural Computation.
Vol. 10867,
Issue. ,
p.
101.
Larin, V. O.
Bantysh, O. V.
Galkin, O. V.
and
Provotar, O. I.
2018.
The Domain-Specific Language Strumok for Describing Actor-Oriented Systems with Shared Memory.
Cybernetics and Systems Analysis,
Vol. 54,
Issue. 5,
p.
833.
Chatley, Robert
Donaldson, Alastair
and
Mycroft, Alan
2019.
Computing and Software Science.
Vol. 10000,
Issue. ,
p.
250.