Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by Crossref.
Mason, Ian A.
and
Talcott, Carolyn L.
2005.
Actors and Logical Analysis of Interactive Systems.
Electronic Notes in Theoretical Computer Science,
Vol. 141,
Issue. 5,
p.
115.
Melliès, Paul-André
2006.
Asynchronous games 2: The true concurrency of innocence.
Theoretical Computer Science,
Vol. 358,
Issue. 2-3,
p.
200.
Melliès, Paul-André
and
Mimram, Samuel
2007.
CONCUR 2007 – Concurrency Theory.
Vol. 4703,
Issue. ,
p.
395.
Abramsky, Samson
2007.
Event Domains, Stable Functions and Proof-Nets.
Electronic Notes in Theoretical Computer Science,
Vol. 172,
Issue. ,
p.
33.
Hamano, Masahiro
and
Scott, Philip
2007.
A categorical semantics for polarized MALL.
Annals of Pure and Applied Logic,
Vol. 145,
Issue. 3,
p.
276.
Mellies, Paul-Andre
and
Tabareau, Nicolas
2007.
Resource modalities in game semantics.
p.
389.
Chaudhuri, Kaustuv
2008.
Logic for Programming, Artificial Intelligence, and Reasoning.
Vol. 5330,
Issue. ,
p.
467.
Makowsky, J. A.
2008.
From Hilbert’s program to a logic tool box.
Annals of Mathematics and Artificial Intelligence,
Vol. 53,
Issue. 1-4,
p.
225.
Basaldella, Michele
Saurin, Alexis
and
Terui, Kazushige
2010.
From Focalization of Logic to the Logic of Focalization.
Electronic Notes in Theoretical Computer Science,
Vol. 265,
Issue. ,
p.
161.
Heijltjes, Willem
2010.
Classical proof forestry.
Annals of Pure and Applied Logic,
Vol. 161,
Issue. 11,
p.
1346.
Melliès, Paul-André
and
Tabareau, Nicolas
2010.
Resource modalities in tensor logic.
Annals of Pure and Applied Logic,
Vol. 161,
Issue. 5,
p.
632.
Mimram, Samuel
2010.
Programs, Proofs, Processes.
Vol. 6158,
Issue. ,
p.
331.
Dodig-Crnkovic, Gordana
2011.
Significance of Models of Computation, from Turing Model to Natural Computation.
Minds and Machines,
Vol. 21,
Issue. 2,
p.
301.
Dai, Guiping
and
Wang, Yong
2013.
Non-Alternating ActorGame: Game semantics for actors without alternation.
p.
539.
Munch-Maccagnoni, Guillaume
2014.
Foundations of Software Science and Computation Structures.
Vol. 8412,
Issue. ,
p.
396.
Gutierrez, Julian
and
Wooldridge, Michael
2014.
Equilibria of concurrent games on event structures.
p.
1.
Gutierrez, Julian
2015.
Theoretical Aspects of Computing - ICTAC 2015.
Vol. 9399,
Issue. ,
p.
597.
Bradfield, Julian
Gutierrez, Julian
and
Wooldridge, Michael
2016.
Partial-order Boolean games: informational independence in a logic-based model of strategic interaction.
Synthese,
Vol. 193,
Issue. 3,
p.
781.
Pancerz, Krzysztof
and
Schumann, Andrew
2017.
Advances in Unconventional Computing.
Vol. 23,
Issue. ,
p.
615.
Eberhart, Clovis
and
Hirschowitz, Tom
2018.
What's in a game?.
p.
374.