About: Décision des problèmes de compléments associatifs-commutatifs

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: Décision des problèmes de compléments associatifs-commutatifs Goto Sponge NotDistinct Permalink

An Entity of Type : rdac:C10001, within Data Space : data.idref.fr associated with source document(s)

Attributes	Values
type	frbr:Work rdac:C10001
Thesis advisor	Université Henri Poincaré Nancy 1. Faculté des sciences et techniques Lugiez, Denis (19..-.... ; auteur en informatique)
Author	Moysset, Jean-Luc (19..-....)
alternative label	Decision of associative-commutative complement problems
dc:subject	Automates Thèses et écrits académiques Compilation (informatique) Automate Compilation Complétude Complétude, Théorème de Problème complémentarité Théorie automate
preferred label	Décision des problèmes de compléments associatifs-commutatifs
Language	http://lexvo.org/id/iso639-3/fra
Subject	http://www.idref.fr/027709922/id http://www.idref.fr/032993684/id http://www.idref.fr/027296261/id http://www.idref.fr/027253139/id
dc:title	Décision des problèmes de compléments associatifs-commutatifs
Degree granting institution	Université de Lorraine (2012-....)
note	La décision du problème de compléments AC, à partir d'un terme T et d'un ensemble de termes S1, Sn, consiste à vérifier s'il existe une AC-instance close de t qui ne soit couverte par aucune des AC-instances closes des termes S1,, Sn. Nous décrivons deux approches du problème: l'une de type descendante utilisant le principe des arbres de motifs introduit par e. Kounalis, l'autre de type ascendante, s'appuyant sur la réalisation d'automates ascendant d'arbres avec conditions ayant de bonnes propriétés. La décision du problème de compléments AC général reste néanmoins un problème ouvert et les deux méthodes présentées permettent de décider d'un certain nombre de cas non-linéaires ou en particulier les termes du problème peuvent avoir des occurrences multiples de variables que sous un même symbole de fonction (AC ou non). Des extensions du problème à d'autres théories (AC1, ACI) sont possibles ainsi que la décision de problèmes similaires tels que la propriété de réductibilité inductive modulo AC
dc:type	Text
http://iflastandar...bd/elements/P1001	http://iflastandards.info/ns/isbd/terms/contentform/T1009
rdaw:P10219	1995
has content type	http://rdaregistry.info/termList/RDAContentType/1020
is primary topic of	http://www.idref.fr/211840661
is rdam:P30135 of	http://www.sudoc.fr/044000219/id http://www.sudoc.fr/272310891/id http://www.sudoc.fr/126357951/id

Faceted Search & Find service v1.13.91 as of Aug 16 2018

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3229 as of May 14 2019, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (70 GB total memory)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software