Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Registreer gratis: toegang tot meer resultaten en functies
monadic second-order logic
Vertaling van "monadic second-order logic" in Frans
logique monadique du second ordre
We show that it is equivalent to monadic second-order logic on graphs.
Nous montrons qu'elle est équivalente à la logique monadique du second ordre sur les graphes.
Each logic we consider is a fragment of monadic second-order logic.
Chaque logique que nous considérons est un fragment de la logique monadique du second ordre.
Higher-order model-checking is concerned with the verification of properties expressed in monadic second-order logic, specified over infinite trees generated by a class of rewriting systems called higher-order recursion schemes.
Le model-checking d'ordre supérieur étudie la vérification de propriétés, exprimées en logique monadique du second ordre, sur des arbres infinis générés par une classe de systèmes de réécriture appelés schémas de récursion d'ordre supérieur.
In the monadic second-order logic of graphs, the variables represent objects of up to four types: vertices, edges, sets of vertices, and sets of edges.
Dans le logique monadique du second ordre sur les graphes, les variables représentent des objets de quatre types différents : sommets, arêtes, ensembles de sommets et ensembles d'arêtes.
A characterization of Trémaux trees in the monadic second-order logic of graphs allows graph properties involving orientations to be recognized efficiently for graphs of bounded treewidth using Courcelle's theorem.
Une caractérisation des arbres de Trémaux dans la logique monadique du second ordre des graphes permet de reconnaître efficacement les propriétés des graphes impliquant des orientations pour les graphes de largeur d'arbre bornée en utilisant le théorème de Courcelle.
Because we study many logics, we proceed by comparison to a logic that subsumes them all and serves as a yardstick: monadic second-order logic.
Nous étudions un nombre important de logiques- pour cette raison nous procédons par comparaison avec une logique qui les contient et nous sert de référence: la logique monadique du second-ordre.
We show that this notion shares similar properties with the notion of regularity on words: closure under complementation, deterministic and complete finite state acceptors and characterization by monadic second-order logic.
Nous montrons que cette notion partage de nombreuses propriétés de la rationalité sur les mots : clôture par complémentaire, accepteurs déterministes et complets, et caractérisation en logique du second ordre monadique.
This intersection type system enables one to type a higher-order recursion scheme with states of a given automaton, associated with a formula of monadic second-order logic.
Notre approche débute par une étude du système de types intersection de Kobayashi et Ong, qui permet de typer un schéma de récursion d'ordre supérieur avec les états d'un automate donné encodant une formule de la logique monadique du second ordre.
Higher-order model-checking is concerned with the verification of properties expressed in monadic second-order logic, specified over infinite trees generated by a class of rewriting systems called higher-order recursion schemes.
Le model-checking d'ordre supérieur étudie la vérification de propriétés, exprimées en logique monadique du second ordre, sur des arbres infinis générés par une classe de systèmes de réécriture appelés schémas de récursion d'ordre supérieur.
Ga naar Premium voor toegang tot miljoenen vertaalvoorbeelden, onbeperkt woorden opslaan en leren, zonder advertenties.
Woord & uitdrukking van de dag
Afbeelding van de dag
Suggesties
Resultaten: 9. Exact: 9. Verstreken tijd: 30 ms.
