About: Modal μ-calculus

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

About: Modal μ-calculus Goto Sponge NotDistinct Permalink

An Entity of Type : owl:Thing, within Data Space : fr.dbpedia.org associated with source document(s)

Attributes	Values
rdfs:label	Modal μ-calculus (en) Mu-calcul (fr)
rdfs:comment	En logique mathématique et en informatique théorique, le mu-calcul (ou logique du mu-calcul modal) est l'extension de la logique modale classique avec des opérateurs de points fixes. Selon Bradfield et Walukiewicz, le mu-calcul est une des logiques les plus importantes pour la vérification de modèles ; elle est expressive tout en ayant de bonnes propriétés algorithmiques. (fr)
sameAs	Modal μ-calculus Modal μ-calculus Modal μ-calculus Modal μ-calculus Modal μ-calculus
Wikipage page ID	10299067 (xsd:integer)
Wikipage revision ID	179359942 (xsd:integer)
dbo:wikiPageWikiLink	category-fr:Vérification_de_modèles Field of sets dbpedia-fr:American_Mathematical_Society CTL* Propositional calculus category-fr:Informatique_théorique Co-NP dbpedia-fr:Dana_S._Scott dbpedia-fr:Dexter_Kozen EXPTIME dbpedia-fr:Elsevier Countable set Monotonic function Theoretical computer science dbpedia-fr:Jacobus_Willem_de_Bakker dbpedia-fr:Jeu_de_parité Lambda calculus Leslie Lamport dbpedia-fr:Logique_du_dialogue dbpedia-fr:Logique_dynamique dbpedia-fr:Logique_mathématique dbpedia-fr:Logique_modale dbpedia-fr:Logique_temporelle dbpedia-fr:Logique_temporelle_linéaire NP (complexity) dbpedia-fr:PSPACE dbpedia-fr:P_(complexité) dbpedia-fr:Point_fixe dbpedia-fr:Problème_SAT Syntactic sugar dbpedia-fr:Système_de_transition_d'états Safety property Theoretical Computer Science (journal) dbpedia-fr:Théorie_des_jeux Knaster–Tarski theorem dbpedia-fr:Treillis_(ensemble_ordonné) Liveness dbpedia-fr:Vérification_de_modèles
Link from a Wikipage to an external page	https://web.archive.org/web/20160305061922/http:/philo.ruc.edu.cn/logic/reading/Yde/mu0612.pdf http://videolectures.net/ssll09_pinchinat_lag/ http://homepages.inf.ed.ac.uk/jcb/Research/pubs.html%23mlh-chapter%7Ctitre https://books.google.com/books%3Fid=URc5cS-N7nQC&printsec=frontcover
page length (characters) of wiki page	16186 (xsd:nonNegativeInteger)
dct:subject	category-fr:Vérification_de_modèles category-fr:Informatique_théorique
prop-fr:wikiPageUsesTemplate	dbpedia-fr:Modèle:, dbpedia-fr:Modèle:Article dbpedia-fr:Modèle:Lien dbpedia-fr:Modèle:Lien_conférence dbpedia-fr:Modèle:Ouvrage dbpedia-fr:Modèle:Portail dbpedia-fr:Modèle:Références dbpedia-fr:Modèle:Traduction/Référence
prov:wasDerivedFrom	wikipedia-fr:Mu-calcul?oldid=179359942&ns=0
prop-fr:année	1983 (xsd:integer) 1996 (xsd:integer) 1999 (xsd:integer) 2001 (xsd:integer) 2006 (xsd:integer)
prop-fr:auteur	André Arnold (fr) Damian Niwiński (fr) Colin Stirling (fr) Doron A. Peled (fr) Julian Bradfield (fr) Kozen, Dexter (fr) Orna Grumberg (fr)
prop-fr:doi	10 (xsd:double)
prop-fr:fr	Logique du temps arborescent (fr)
prop-fr:isbn	0 (xsd:integer) 978 (xsd:integer)
prop-fr:journal	Theoretical Computer Science (journal)
prop-fr:langue	en (fr)
prop-fr:lieu	Cambridge, Massachusetts, USA (fr) New York, Berlin, Heidelberg (fr)
prop-fr:lireEnLigne	https://books.google.com/books%3Fid=URc5cS-N7nQC&printsec=frontcover http://homepages.inf.ed.ac.uk/jcb/Research/pubs.html#mlh-chapter\|titre chapitre=Modal mu-calculi (fr)
prop-fr:nom	Stirling (fr) Emerson (fr) Clarke, Jr. (fr)
prop-fr:numéro	3 (xsd:integer)
prop-fr:pages	185 (xsd:integer) 333 (xsd:integer)
prop-fr:pagesTotales	191 (xsd:integer) 277 (xsd:integer) 721 (xsd:integer)
prop-fr:prénom	Colin (fr) E. Allen (fr) Edmund M. (fr)
prop-fr:texte	CTL (fr)
prop-fr:titre	Results on the Propositional μ-Calculus (fr)

Faceted Search & Find service v1.16.111 as of Oct 19 2022

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3234 as of May 18 2022, on Linux (x86_64-ubuntu_bionic-linux-gnu), Single-Server Edition (39 GB total memory, 12 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software