Zobrazeno 1 - 2 of 2 pro vyhledávání: '"Logique avec k variables"'
1
Expressivité de la logique du premier ordre, de la logique dynamique propositionnelle sans étoile et des automates communicants
Autor: Fortin, Marie
Publikováno v: Autre [cs.OH]. Université Paris-Saclay, 2020. Français. ⟨NNT : 2020UPASG046⟩
This thesis is concerned with the expressive power of first-order logic and other formalisms over different classes of ordered structures, among which MSCs (Message Sequence Charts), a standard model for executions of message-passing systems. This st
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od______2592::b2d6b97de3e55cc339f4adaa850be0fc
https://tel.archives-ouvertes.fr/tel-03079438/file/84743_FORTIN_2020_archivage.pdf
Zobrazit plný text záznamu
2
Expressivity of first-order logic, star-free propositional dynamic logic and communicating automata
Autor: Fortin, Marie
Publikováno v: Autre [cs.OH]. Université Paris-Saclay, 2020. Français. ⟨NNT : 2020UPASG046⟩
This thesis is concerned with the expressive power of first-order logic and other formalisms over different classes of ordered structures, among which MSCs (Message Sequence Charts), a standard model for executions of message-passing systems. This st
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od_______212::b2d6b97de3e55cc339f4adaa850be0fc
https://tel.archives-ouvertes.fr/tel-03079438/file/84743_FORTIN_2020_archivage.pdf
Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání

Omezení vyhledávání
Plný text Recenzováno Digitální knihovna AV ČR
Zdroje