default search action
9th DCM 2013: Buenos Aires, Argentina
- Mauricio Ayala-Rincón, Eduardo Bonelli, Ian Mackie:
Proceedings 9th International Workshop on Developments in Computational Models, DCM 2013, Buenos Aires, Argentina, 26 August 2013. EPTCS 144, 2014 - Alejandro Díaz-Caro, Gilles Dowek:
The probability of non-confluent systems. 1-15 - Marcela Quispe-Cruz, Edward Hermann Haeusler, Lew Gordeev:
Proof-graphs for Minimal Implicational Logic. 16-29 - Pablo Arrighi, Simon Martiel, Zizhu Wang:
Causal Dynamics of Discrete Surfaces. 30-40 - Adriana B. Compagnoni, Paola Giannini, Catherine Kim, Matthew Milideo, Vishakha Sharma:
A Calculus of Located Entities. 41-56 - Carlos Alberto Ramírez Restrepo, Jorge A. Pérez, Jesús Aranda, Juan Francisco Díaz:
Towards Formal Interaction-Based Models of Grid Computing Infrastructures. 57-72 - Mario R. F. Benevides, Isaque Lima, Rafael Nader, Pedro Rougemont:
Using HMM in Strategic Games. 73-84
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.