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.
Abramsky, Samson
2007.
Event Domains, Stable Functions and Proof-Nets.
Electronic Notes in Theoretical Computer Science,
Vol. 172,
Issue. ,
p.
33.
Mellies, Paul-Andre
and
Tabareau, Nicolas
2007.
Resource modalities in game semantics.
p.
389.
Melliès, Paul-André
and
Mimram, Samuel
2007.
CONCUR 2007 – Concurrency Theory.
Vol. 4703,
Issue. ,
p.
395.
Hamano, Masahiro
and
Scott, Philip
2007.
A categorical semantics for polarized MALL.
Annals of Pure and Applied Logic,
Vol. 145,
Issue. 3,
p.
276.
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.
Chaudhuri, Kaustuv
2008.
Logic for Programming, Artificial Intelligence, and Reasoning.
Vol. 5330,
Issue. ,
p.
467.
Mimram, Samuel
2010.
Programs, Proofs, Processes.
Vol. 6158,
Issue. ,
p.
331.
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.
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.
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.
Gutierrez, Julian
and
Wooldridge, Michael
2014.
Equilibria of concurrent games on event structures.
p.
1.
Munch-Maccagnoni, Guillaume
2014.
Foundations of Software Science and Computation Structures.
Vol. 8412,
Issue. ,
p.
396.
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.
GIAMBERARDINO, PAOLO DI
2018.
Jump from parallel to sequential proofs: exponentials.
Mathematical Structures in Computer Science,
Vol. 28,
Issue. 7,
p.
1204.