About: Trace monoid

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

About: Trace monoid 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	Monoïde des traces (fr) Trace monoid (en)
rdfs:comment	En mathématiques et en informatique, une trace est un ensemble de mots, où certaines lettres peuvent commuter, et d'autres non. Le monoïde des traces oumonoïde partiellement commutatif libre est le monoïde quotient dumonoïde libre par une relation de commutation de lettres. (fr)
rdfs:seeAlso	https://ncatlab.org/nlab/show/trace_monoid
sameAs	Trace monoid Trace monoid Trace monoid Trace monoid
Wikipage page ID	5578049 (xsd:integer)
Wikipage revision ID	182229575 (xsd:integer)
dbo:wikiPageWikiLink	category-fr:Combinatoire category-fr:Demi-groupe Combinatorics Semigroup dbpedia-fr:Dominique_Foata Donald Knuth Computer science dbpedia-fr:Langage_formel dbpedia-fr:Lemme_de_Levi dbpedia-fr:Loi_commutative Monoid dbpedia-fr:Mot_(mathématiques) Lexicographic order Pierre Cartier (mathematician) dbpedia-fr:Programmation_concurrente Equivalence relation dbpedia-fr:Springer_Science+Business_Media Synchronization (computer science) dbpedia-fr:Thread_(informatique) dbpedia-fr:Verrou_(informatique) World Scientific dbpedia-fr:Mathématiques
Link from a Wikipage to an external page	http://www.emis.de/journals/SLC/books/cartfoa.html https://books.google.com/books%3Fid=vNFLOE2pjuAC&printsec=frontcover
page length (characters) of wiki page	9609 (xsd:nonNegativeInteger)
dct:subject	category-fr:Combinatoire category-fr:Demi-groupe
prop-fr:wikiPageUsesTemplate	dbpedia-fr:Modèle:Article dbpedia-fr:Modèle:Chapitre dbpedia-fr:Modèle:Harvsp dbpedia-fr:Modèle:Ouvrage dbpedia-fr:Modèle:Portail dbpedia-fr:Modèle:Commentaire_biblio
prov:wasDerivedFrom	wikipedia-fr:Monoïde_des_traces?oldid=182229575&ns=0
foaf:depiction
prop-fr:année	1969 (xsd:integer) 1977 (xsd:integer) 1990 (xsd:integer) 1995 (xsd:integer) 1997 (xsd:integer)
prop-fr:collection	Lecture Notes in Mathematics (fr)
prop-fr:id	Diekert1990 (fr) Mazurkiewicz95 (fr) TheBookOfTraces (fr)
prop-fr:isbn	978 (xsd:integer) 3540530312 (xsd:decimal) 9810220588 (xsd:decimal)
prop-fr:journal	Lecture Notes in Computer Science, vol. 454 (fr)
prop-fr:lang	en (fr)
prop-fr:langue	en (fr)
prop-fr:lienAuteur	Pierre Cartier (fr)
prop-fr:lieu	Singapour (fr)
prop-fr:lireEnLigne	https://books.google.com/books%3Fid=vNFLOE2pjuAC&printsec=frontcover
prop-fr:nom	Cartier (fr) Métivier (fr) Volker Diekert (fr) Diekert (fr) Mazurkiewicz (fr) Foata (fr) Volker Diekert et Gregorz Rozenberg (fr)
prop-fr:pages	9 (xsd:integer)
prop-fr:pagesTotales	576 (xsd:integer)
prop-fr:passage	3 (xsd:integer) 457 (xsd:integer)
prop-fr:prénom	Dominique (fr) Pierre (fr) Yves (fr) Volker (fr) Antoni (fr)
prop-fr:titre	Problèmes combinatoires de commutation et réarrangements (fr) Combinatorics on traces (fr) The Book of Traces (fr) Concurrent program schemes and their interpretations (fr)
prop-fr:titreChapitre	Introduction to Trace Theory (fr) Partial Commutation and Traces (fr)
prop-fr:titreOuvrage	Handbook of Formal Languages (fr) The Book of Traces (fr)
prop-fr:titreVolume	Beyond Words (fr)
prop-fr:url	ftp://ftp.informatik.uni-stuttgart.de/pub/techreports/theorie/handbook.ps (fr)
prop-fr:volume	3 (xsd:integer)
prop-fr:éditeur	dbpedia-fr:Springer_Science+Business_Media World Scientific Springer Verlag (fr) World Scientific (fr) DAIMI Report PB 78, Aarhus University (fr)
prop-fr:auteursOuvrage	G. Rozenberg, A. Salomaa (fr) V. Diekert, G. Rozenberg (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, 3 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software