default search action

combined dblp search
author search
venue search
publication search

ask others

1st DCM@ICALP 2005: Lisbon, Portugal

> Home > Conferences and Workshops > DCM
> Home > Conferences and Workshops > ICALP

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  - electronic edition @ sciencedirect.com
  - details & citations
- export record
  dblp key:
  - conf/dcm/2005
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dcm/2005
Maribel Fernández, Ian Mackie:
Proceedings of the First International Workshop on Developments in Computational Models, DCM@ICALP 2005, Lisbon, Portugal, July 10, 2005. Electronic Notes in Theoretical Computer Science 135(3), Elsevier 2006
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/FernandezM06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/FernandezM06
Maribel Fernández, Ian Mackie:
Preface. 1-2
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/BanatreFR06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/BanatreFR06
Jean-Pierre Banâtre, Pascal Fradet, Yann Radenac:
A Generalized Higher-Order Chemical Computation Model. 3-13
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/BokerD06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/BokerD06
Udi Boker, Nachum Dershowitz:
Abstract Effective Models. 15-23
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/PierroHW06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/PierroHW06
Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky:
On Reversible Combinatory Logic. 25-35
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/DrossopoulouPBE06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/DrossopoulouPBE06
Sophia Drossopoulou, Alexis Petrounias, Alex Buckley, Susan Eisenbach:
SCHOOL: a Small Chorded Object-Oriented Language. 37-47
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/FagorziZ06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/FagorziZ06
Sonia Fagorzi, Elena Zucca:
A Calculus for Reconfiguration: (Extended abstract). 49-59
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/GarraldaC06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/GarraldaC06
Pablo Garralda, Adriana B. Compagnoni:
Splitting Mobility and Communication in Boxed Ambients. 61-71
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/HonsellLR06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/HonsellLR06
Furio Honsell, Marina Lenisa, Rekha Redamalla:
Coalgebraic Description of Generalized Binary Methods. 73-84
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Liquori06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Liquori06
Luigi Liquori:
iRho: the Software: [System Description]. 85-94
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/ManeaMM06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/ManeaMM06
Florin Manea, Carlos Martín-Vide, Victor Mitrana:
A Universal Accepting Hybrid Network of Evolutionary Processors. 95-105
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/CosentinoPQ06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/CosentinoPQ06
Antonio Cosentino, Marco Pedicini, Francesco Quaglia:
Supporting Function Calls within PELCR. 107-117
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/PerdrixJ06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/PerdrixJ06
Simon Perdrix, Philippe Jorrand:
Classically-controlled Quantum Computation. 119-128
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Sinot06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Sinot06
François-Régis Sinot:
Token-Passing Nets: Call-by-Need for Free. 129-139
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/XuY06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/XuY06
Haitong Xu, Sheng Yu:
Type Theory and Language Constructs for Objects with States. 141-151

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.