• 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.

found 135 matches

• 2024
• 
  Sandra Alves, Ian Mackie:
  Proceedings 13th International Workshop on Developments in Computational Models, DCM 2023, Rome, Italy, 2 July 2023. EPTCS 408, 2024 [contents]
• 2023
• 
  Kin Ian Lo, Mehrnoosh Sadrzadeh, Shane Mansfield:
  Developments in Sheaf-Theoretic Models of Natural Language Ambiguities. DCM 2023: 62-72
• 
  Matteo Acclavio, Roberto Maieli:
  Logic Programming with Multiplicative Structures. DCM 2023: 42-61
• 
  Franco Barbanera, Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro:
  Partial Typing for Asynchronous Multiparty Sessions. DCM 2023: 1-20
• 
  Clemens Grabmayer:
  From Compactifying Lambda-Letrec Terms to Recognizing Regular-Expression Processes. DCM 2023: 21-41
• 
  Hsi-Ming Ho, Khushraj Madnani:
  When Do You Start Counting? Revisiting Counting and Pnueli Modalities in Timed Logics. DCM 2023: 73-89
• 
  Shinya Sato:
  Conditional Nested Pattern Matching in Interaction Net. DCM 2023: 90-106
• 
  Federico Vastarini, Detlef Plump:
  Random Graph Generation in Context-Free Graph Languages. DCM 2023: 107-120
• 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

skipping 105 more matches