5 results
An Interleaving Semantics of the Timed Concurrent Language for Argumentation to Model Debates and Dialogue Games
-
- Journal:
- Theory and Practice of Logic Programming / Volume 23 / Issue 6 / November 2023
- Published online by Cambridge University Press:
- 05 July 2023, pp. 1307-1333
-
- Article
- Export citation
The role of linearity in sharing analysis
-
- Journal:
- Mathematical Structures in Computer Science / Volume 32 / Issue 1 / January 2022
- Published online by Cambridge University Press:
- 14 June 2022, pp. 44-110
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Timed soft concurrent constraint programs: An interleaved and a parallel approach
-
- Journal:
- Theory and Practice of Logic Programming / Volume 15 / Issue 6 / November 2015
- Published online by Cambridge University Press:
- 06 June 2014, pp. 743-782
-
- Article
- Export citation
Unfolding for CHR programs
-
- Journal:
- Theory and Practice of Logic Programming / Volume 15 / Issue 3 / May 2015
- Published online by Cambridge University Press:
- 08 October 2013, pp. 264-311
-
- Article
- Export citation
Decidability properties for fragments of CHR
-
- Journal:
- Theory and Practice of Logic Programming / Volume 10 / Issue 4-6 / July 2010
- Published online by Cambridge University Press:
- 09 July 2010, pp. 611-626
-
- Article
- Export citation