-
161Published 1997Table of Contents: “… -- Axiomatizing flat iteration -- Probabilistic concurrent constraint programming -- On the complexity…”
Full Text via HEAL-Link
Electronic eBook -
162
-
163Published 2003Table of Contents: “… -- Timed Concurrent Constraint Programming: Decidability Results and Their Application to LTL…”
Full Text via HEAL-Link
Electronic eBook -
164
-
165Published 2004Table of Contents: “… Constraint Programming and Tree–Based Acoustic Modelling -- MProlog: An Extension of Prolog for Modal Logic…”
Full Text via HEAL-Link
Electronic eBook -
166Published 2010Table of Contents: “… Discovery in Cellular Automata -- Constraint Programming to Solve Maximal Density Still Life -- Asynchronous…”
Full Text via HEAL-Link
Electronic eBook -
167Published 2006Table of Contents: “… Routines Using Constraint Programming -- Deduction with Euler Circles: Diagrams That Hurt -- Diagrams…”
Full Text via HEAL-Link
Electronic eBook -
168
-
169
-
170
-
171Published 2014Table of Contents: “… and Complete Trace Logic for Concurrent Constraint Programs -- Privacy from Accelerating Eavesdroppers…”
Full Text via HEAL-Link
Electronic eBook -
172Published 2005Table of Contents: “… Solving School Timetabling Problems Using Extensions of Constraint Programming -- A Tiling Algorithm…”
Full Text via HEAL-Link
Electronic eBook -
173Published 1999Table of Contents: “… -- Abstracting Properties in Concurrent Constraint Programming -- A Fixpoint Semantics for Reasoning about Finite…”
Full Text via HEAL-Link
Electronic eBook -
174Published 2007Table of Contents: “… Specifications Via Constraint Programming -- Goanna—A Static Model Checker -- PDMC -- Parallel SAT Solving…”
Full Text via HEAL-Link
Electronic eBook -
175Published 2007Table of Contents: “…Invited Papers -- Refactoring Using Type Constraints -- Programming Language Design and Analysis…”
Full Text via HEAL-Link
Electronic eBook -
176Published 1997Table of Contents: “…Model checking LTL using constraint programming -- On the composition of timed systems -- Some…”
Full Text via HEAL-Link
Electronic eBook -
177Published 2008Table of Contents: “… Environments Using Constraint Programming -- Small World Terrorist Networks: A Preliminary Investigation…”
Full Text via HEAL-Link
Electronic eBook -
178Published 2014Table of Contents: “… Prediction -- Multi-context logics-a general introduction -- Constraint programming for context comprehension…”
Full Text via HEAL-Link
Electronic eBook -
179Published 2005Table of Contents: “… Learning -- Using CBR to Select Solution Strategies in Constraint Programming -- Case-Based Art…”
Full Text via HEAL-Link
Electronic eBook -
180