( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Timed Soft Concurrent Constraint Programs: An Interleaved and a Parallel Approach.

, , , и . CoRR, (2014)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Walter Meon

Luca Meoli

Benedikt Meon

Günter Meon

Renato Meola

 

Другие публикации лиц с тем же именем

Proving correctness of timed concurrent constraint programs., , и . APPIA-GULP-PRODE, стр. 213-228. Departamento de Informática, Universidade de Évora, (2001)Semantics and Controllability of Time-Aware Business Processes., , , , и . Fundam. Informaticae, 165 (3-4): 205-244 (2019)Differential Logic Programs: Programming Methodologies and Semantics., , , , и . Sci. Comput. Program., 27 (3): 217-262 (1996)A compositional semantics for CHR., , и . PPDP, стр. 209-217. ACM, (2005)Differential Logic Programming., , , , и . POPL, стр. 359-370. ACM Press, (1993)A Temporal Logic for reasoning about Timed Concurrent Constraint Programs., , и . TIME, стр. 227-233. IEEE Computer Society, (2001)Descending chains and narrowing on template abstract domains., , , и . Acta Informatica, 55 (6): 521-545 (2018)A Bottom-up Semantics for Constructive Negation., , и . ICLP, стр. 520-534. MIT Press, (1994)A Compositional Semantics for Logic Programs., , , и . Theor. Comput. Sci., 122 (1&2): 3-47 (1994)Compositionality Properties of SLD-Derivations., и . Theor. Comput. Sci., 211 (1-2): 275-309 (1999)