Zobrazeno 1 - 10
of 263
pro vyhledávání: '"Kirchner, Claude"'
Publikováno v:
9th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning - LPAR'2002, Oct 2002, Tbilisi, Georgia. pp.130-144
We define an extension of predicate logic, called Binding Logic, where variables can be bound in terms and in propositions. We introduce a notion of model for this logic and prove a soundness and completeness theorem for it. This theorem is obtained
Externí odkaz:
http://arxiv.org/abs/2305.15782
Publikováno v:
In Bulletin de l'Académie Nationale de Médecine May 2024 208(5):536-547
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
Theoretical Computer Science 411, 37 (2010) 3301-3327
The confluence of untyped \lambda-calculus with unconditional rewriting is now well un- derstood. In this paper, we investigate the confluence of \lambda-calculus with conditional rewriting and provide general results in two directions. First, when c
Externí odkaz:
http://arxiv.org/abs/1109.4353
Publikováno v:
EPTCS 21, 2010, pp. 51-63
Extending a given language with new dedicated features is a general and quite used approach to make the programming language more adapted to problems. Being closer to the application, this leads to less programming flaws and easier maintenance. But o
Externí odkaz:
http://arxiv.org/abs/1003.4799
ELAN is a powerful language and environment for specifying and prototyping deduction systems in a language based on rewrite rules controlled by strategies. Timed automata is a class of continuous real-time models of reactive systems for which efficie
Externí odkaz:
http://arxiv.org/abs/0907.3123
The confluence of untyped lambda-calculus with unconditional rewriting has already been studied in various directions. In this paper, we investigate the confluence of lambda-calculus with conditional rewriting and provide general results in two direc
Externí odkaz:
http://arxiv.org/abs/cs/0609002
ELAN is a powerful language and environment for specifying and prototyping deduction systems in a language based on rewrite rules controlled by strategies. Timed automata is a class of continuous real-time models of reactive systems for which efficie
Externí odkaz:
http://arxiv.org/abs/cs/0109024
Autor:
Grinbaum, Alexei, Chatila, Raja, Devillers, Laurence, Martin, Caroline, Kirchner, Claude, Perrin, Jérôme, Tessier, Catherine
Publikováno v:
Comité national pilote d'éthique du numérique. 2023, pp.Avis 7 du CNPEN
Cet avis du Comité national pilote d’éthique du numérique (CNPEN) répond à la saisine du ministre délégué chargé de la Transition numérique et des Télécommunications, en date du 20 février 2023. Il est consacré à l’examen des quest
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::6e951d5430ed4e2c286fbc4b162ba462
https://cea.hal.science/cea-04153216
https://cea.hal.science/cea-04153216