Výsledky vyhledávání - "Logique du premier ordre"

Vérification de scripts Shell effectuant des transformations de système de fichiers hiérarchiques

Autor: Jeannerod, Nicolas

Publikováno v: Logic in Computer Science [cs.LO]. Université de Paris, 2021. English

This thesis aims at applying techniques from deductive program verification and analysis of tree transformations to the problem of analysing Shell scripts. In particular, we aim at analysing Shell scripts that are used in software installation in the

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::11d90e461b552618555ba92a7062b933
https://hal.archives-ouvertes.fr/tel-03369452/document

Zobrazit plný text záznamu

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

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⟩

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

On the Expressive Power of Invariant Logics over Sparse Classes of Structures

Autor: Grange, Julien

Publikováno v: Logic in Computer Science [cs.LO]. ENS Paris, 2020. English

This thesis focuses on the expressive power of two invariant logics: successor-invariant first-order logic, Succ-inv FO, and order-invariant first-order logic

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od_______212::4dd8dbc274632652d4fbcd1a9ca1a72f
https://hal.inria.fr/tel-02947853

Zobrazit plný text záznamu

Event extension of a lightweight formal method and application to analyzing Chord distributed protocol

Autor: Matiedje Tawa, Jeanne

Cette étude concerne l’utilisation de la logique du premier ordre et la logique temporelle linéaire pour la spécification et la vérification des systèmes dynamiques ayant des structures riches. Elle concerne l’étude de la correction de fonc

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=artemis___fr::9cb95ac0e6720aec39a0a6363211c185
http://depozit.isae.fr/theses/2019/2019_Matiedje_Tawa_Jeanne_D.pdf

Zobrazit plný text záznamu

Quelques fragments décidables de la logique du premier ordre et de l'arithmétique linéaire du premier ordre avec des prédicats non-interprétés

Autor: Voigt, Marco

Publikováno v: Logic in Computer Science [cs.LO]. Universität des Saarlandes, 2019. English
Logic in Computer Science [cs.LO]. Universität des Saarlandes, 2019. English. ⟨NNT : ⟩

First-order logic is one of the most prominent formalisms in computer science and mathematics. Since there is no algorithm capable of solving its satisfiability problem, first-order logic is said to be undecidable. The classical decision problem is t

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2bc0ae0b8482f89973e0b4e047ebf7fa
https://hal.inria.fr/tel-02406821/file/voigtphd.pdf

Zobrazit plný text záznamu

Dissertation/ Thesis

Groupes hyperboliques et logique du premier ordre

Autor: André, Simon

Deux groupes sont dits élémentairement équivalents s'ils satisfont les mêmes énoncés du premier ordre dans le langage des groupes. Aux environs de l'année 1945, Tarski posa la question suivante, connue désormais comme le problème de Tarski :

Externí odkaz: http://www.theses.fr/2019REN1S030/document

Zobrazit plný text záznamu

Dissertation/ Thesis

Définissabilité et synthèse de transductions

Autor: Lhote, Nathan

Dans la première partie de ce manuscrit nous étudions les fonctions rationnelles, c'est-à-dire définies par des transducteurs unidirectionnels. Notre objectif est d'étendre aux transductions les nombreuses correspondances logique-algèbre qui on

Externí odkaz: http://www.theses.fr/2018BORD0185/document

Zobrazit plný text záznamu

Dissertation/ Thesis

Système de Mesure Mobile Adaptif Qualifié

Autor: Bourgeois, Florent

Les dispositifs matériels mobiles proposent des capacités de mesure à l'aide de capteurs soit embarqués, soit connectés. Ils ont vocation à être de plus en plus utilisés dans des processus de prises de mesures. Ils présentent un caractère c

Externí odkaz: http://www.theses.fr/2018MULH8953/document

Zobrazit plný text záznamu

Mobile System for Adaptive Qualified Measurement

Autor: Bourgeois, Florent

Publikováno v: Modélisation et simulation. Université de Haute Alsace-Mulhouse, 2018. Français. ⟨NNT : 2018MULH8953⟩

Mobile devices offer measuring capabilities using embedded or connected sensors. They are more and more used in measuring processes. They are critical because the performed measurements must be reliable because possibly used in rigorous context. Desp

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od_______212::857be8feb7b5c7d9e084e47743a78c33
https://tel.archives-ouvertes.fr/tel-01889927/file/2018MULH8953_these_BOURGEOIS.pdf

Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání