![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Search dblp
Full-text search
- > Home
Please enter a search query
- case-insensitive prefix search: default
e.g., sig matches "SIGIR" as well as "signal" - exact word search: append dollar sign ($) to word
e.g., graph$ matches "graph", but not "graphics" - boolean and: separate words by space
e.g., codd model - boolean or: connect words by pipe symbol (|)
e.g., graph|network
Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.
Author search results
no matches
Venue search results
no matches
Refine list
refine by author
- no options
- temporarily not available
refine by venue
- no options
- temporarily not available
refine by type
- no options
- temporarily not available
refine by access
- no options
- temporarily not available
refine by year
- no options
- temporarily not available
Publication search results
found 127 matches
- 2019
- Michele Pagani, Sandra Alves:
Proceedings Twelfth Workshop on Developments in Computational Models and Ninth Workshop on Intersection Types and Related Systems, DCM/ITRS 2018, Oxford, UK, 8th July 2018. EPTCS 293, 2019 [contents] - 2018
- Pawel Parys:
Intersection Types for Unboundedness Problems. DCM/ITRS 2018: 7-27 - Federico Aschieri:
Natural Deduction and Normalization Proofs for the Intersection Type Discipline. DCM/ITRS 2018: 29-37 - Paola Giannini
, Marco Servetto, Elena Zucca:
A Syntactic Model of Mutation and Aliasing. DCM/ITRS 2018: 39-55 - Olivier Laurent:
Intersection Subtyping with Constructors. DCM/ITRS 2018: 73-84 - Joseph Razavi, Andrea Schalk:
A Category Theoretic Interpretation of Gandy's Principles for Mechanisms. DCM/ITRS 2018: 85-92 - Giulio Guerrieri
:
Towards a Semantic Measure of the Execution Time in Call-by-Value lambda-Calculus. DCM/ITRS 2018: 57-72 - 2016
- César A. Muñoz, Jorge A. Pérez
:
Proceedings of the Eleventh International Workshop on Developments in Computational Models, DCM 2015, Cali, Colombia, October 28, 2015. EPTCS 204, 2016 [contents] - 2015
- Mahdi Amani
, Abbas Nowzari-Dalini:
Generation, Ranking and Unranking of Ordered Trees with Degree Bounds. DCM 2015: 31-45 - Pablo Arrighi, Gilles Dowek
:
Free fall and cellular automata. DCM 2015: 1-10 - Mauricio Ayala-Rincón
:
Formalising Confluence in PVS. DCM 2015: 11-17 - Adrien Basso-Blandin, Walter Fontana, Russ Harmer:
A knowledge representation meta-model for rule-based modelling of signalling networks. DCM 2015: 47-59 - Edward Hermann Haeusler:
Finiteness and Computation in Toposes. DCM 2015: 61-77 - Pawel Sobocinski
:
Compositional model checking of concurrent systems, with Petri nets. DCM 2015: 19-30 - Mauricio Toro
, Anna Philippou, Sair Arboleda, María Puerta, Carlos M. Vélez S.
:
Mean-Field Semantics for a Process Calculus for Spatially-Explicit Ecological Models. DCM 2015: 79-94 - Ugo Dal Lago, Russ Harmer:
Proceedings Tenth International Workshop on Developments in Computational Models, DCM 2014, Vienna, Austria, 13th July 2014. EPTCS 179, 2015 [contents] - 2014
- Nachum Dershowitz, Evgenia Falkovich:
Cellular Automata are Generic. DCM 2014: 17-32 - Edward Hermann Haeusler:
Propositional Logics Complexity and the Sub-Formula Property. DCM 2014: 1-16 - Wolfram Kahl:
A Simple Parallel Implementation of Interaction Nets in Haskell. DCM 2014: 33-47 - 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 [contents] - Benedikt Löwe, Glynn Winskel:
Proceedings 8th International Workshop on Developments in Computational Models, DCM 2012, Cambridge, United Kingdom, 17 June 2012. EPTCS 143, 2014 [contents] - 2013
- Pablo Arrighi, Simon Martiel, Zizhu Wang
:
Causal Dynamics of Discrete Surfaces. DCM 2013: 30-40 - Mario R. F. Benevides
, Isaque Lima, Rafael Nader, Pedro Rougemont
:
Using HMM in Strategic Games. DCM 2013: 73-84 - Adriana B. Compagnoni, Paola Giannini
, Catherine Kim, Matthew Milideo, Vishakha Sharma:
A Calculus of Located Entities. DCM 2013: 41-56 - Alejandro Díaz-Caro
, Gilles Dowek
:
The probability of non-confluent systems. DCM 2013: 1-15 - Marcela Quispe-Cruz
, Edward Hermann Haeusler, Lew Gordeev:
Proof-graphs for Minimal Implicational Logic. DCM 2013: 16-29 - 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. DCM 2013: 57-72 - 2012
- Abeer S. Al-Humaimeedy, Maribel Fernández:
General dynamic recovery for compensating CSP. DCM 2012: 3-16 - Miklós Bartha:
Quantum Turing automata. DCM 2012: 17-31 - Ed Blakey:
Ray tracing - computing the incomputable? DCM 2012: 32-40
skipping 97 more matches
loading more results
failed to load more results, please try again later
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
retrieved on 2024-08-03 17:25 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint