|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
|
|
Results
Found 33 publication records. Showing 33 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Vincent Danos, Mariangiola Dezani (eds.) |
Proceedings of the Third International Workshop on Developments in Computational Models, DCM@ICALP 2007, Wroclaw, Poland, July 15, 2007  |
DCM@ICALP  |
2008 |
DBLP BibTeX RDF |
|
| 1 | Simon Perdrix |
A Hierarchy of Quantum Semantics. |
DCM@ICALP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Davide Ancona, Sonia Fagorzi, Elena Zucca |
A Parametric Calculus for Mobile Open Code. |
DCM@ICALP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Vincent Danos, Ellie D'Hondt |
Classical Knowledge for Quantum Cryptographic Reasoning. |
DCM@ICALP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Anne Crumière, Paul Ruet |
Spatial Differentiation and Positive Circuits in a Discrete Framework. |
DCM@ICALP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Ian Mackie, Shinya Sato |
A Calculus for Interaction Nets Based on the Linear Chemical Abstract Machine. |
DCM@ICALP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Vincent Danos, Mariangiola Dezani-Ciancaglini |
Preface. |
DCM@ICALP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Giorgio Bacci, Marino Miculan |
Undecidability of Model Checking in Brane Logic. |
DCM@ICALP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Pierre Jouannaud, Ian Mackie (eds.) |
Proceedings of the Second International Workshop on Developments in Computational Models, DCM@ICALP 2006, Venice, Italy, July 16, 2006 |
DCM@ICALP |
2007 |
DBLP BibTeX RDF |
|
| 1 | Luca Fossati |
Handshake Games. |
DCM@ICALP |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Michel Cosnard, Luigi Liquori, Raphaël Chand |
Virtual Organizations in Arigatoni. |
DCM@ICALP |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Pierre Jouannaud, Ian Mackie |
Preface. |
DCM@ICALP |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Jayshan Raghunandan, Alexander J. Summers |
On the Computational Representation of Classical Logical Connectives. |
DCM@ICALP |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Mircea-Dan Hernest |
Light Dialectica Program Extraction from a Classical Fibonacci Proof. |
DCM@ICALP |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Nikolaos Siafakas |
A Fully Labelled Lambda Calculus: Towards Closed Reduction in the Geometry of Interaction Machine. |
DCM@ICALP |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert K. Meyer |
The Better Bubbling Lemma. |
DCM@ICALP |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Germain Faure |
Term Collections in lambda and rho-calculi. |
DCM@ICALP |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Carbone, Kohei Honda 0001, Nobuko Yoshida |
A Calculus of Global Interaction based on Session Types. |
DCM@ICALP |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Maribel Fernández, Ian Mackie (eds.) |
Proceedings of the First International Workshop on Developments in Computational Models, DCM@ICALP 2005, Lisbon, Portugal, July 10, 2005 |
DCM@ICALP |
2006 |
DBLP BibTeX RDF |
|
| 1 | Simon Perdrix, Philippe Jorrand |
Classically-controlled Quantum Computation. |
DCM@ICALP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonio Cosentino, Marco Pedicini, Francesco Quaglia |
Supporting Function Calls within PELCR. |
DCM@ICALP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | François-Régis Sinot |
Token-Passing Nets: Call-by-Need for Free. |
DCM@ICALP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky |
On Reversible Combinatory Logic. |
DCM@ICALP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Furio Honsell, Marina Lenisa, Rekha Redamalla |
Coalgebraic Description of Generalized Binary Methods. |
DCM@ICALP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Florin Manea, Carlos Martín-Vide, Victor Mitrana |
A Universal Accepting Hybrid Network of Evolutionary Processors. |
DCM@ICALP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Sonia Fagorzi, Elena Zucca |
A Calculus for Reconfiguration: (Extended abstract). |
DCM@ICALP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Sophia Drossopoulou, Alexis Petrounias, Alex Buckley, Susan Eisenbach |
SCHOOL: a Small Chorded Object-Oriented Language. |
DCM@ICALP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Pablo Garralda, Adriana B. Compagnoni |
Splitting Mobility and Communication in Boxed Ambients. |
DCM@ICALP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Maribel Fernández, Ian Mackie |
Preface. |
DCM@ICALP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Pierre Banâtre, Pascal Fradet, Yann Radenac |
A Generalized Higher-Order Chemical Computation Model. |
DCM@ICALP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Luigi Liquori |
iRho: the Software: [System Description]. |
DCM@ICALP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Haitong Xu, Sheng Yu 0001 |
Type Theory and Language Constructs for Objects with States. |
DCM@ICALP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Udi Boker, Nachum Dershowitz |
Abstract Effective Models. |
DCM@ICALP |
2005 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #33 of 33 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license