( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A compositional Semantics for CHR

, и . CoRR, (2006)

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)A compositional semantics for CHR., , и . PPDP, стр. 209-217. ACM, (2005)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)AI for Sustainability: Research at Ud'A Node., , , , , , , , , и 2 other автор(ы). Ital-IA, том 3762 из CEUR Workshop Proceedings, стр. 516-521. CEUR-WS.org, (2024)Differential Logic Programs: Programming Methodologies and Semantics., , , , и . Sci. Comput. Program., 27 (3): 217-262 (1996)Differential Logic Programming., , , , и . POPL, стр. 359-370. ACM Press, (1993)A Bottom-up Semantics for Constructive Negation., , и . ICLP, стр. 520-534. MIT Press, (1994)Unfold/Fold Transformations of CCP Programs., , и . CONCUR, том 1466 из Lecture Notes in Computer Science, стр. 348-365. Springer, (1998)A Compositional Semantics for Logic Programs., , , и . Theor. Comput. Sci., 122 (1&2): 3-47 (1994)