About: Trace monoid

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

Generalization of strings in computer science

Property	Value
dbo:description	generalization of strings in computer science (en)
dbo:wikiPageExternalLink	http://www.emis.de/journals/SLC/books/cartfoa.html http://citeseer.ist.psu.edu/diekert97partial.html
dbo:wikiPageWikiLink	dbr:Process_calculus dbr:Unicode_equivalence dbr:Computer_science dbr:Donald_Knuth dbr:Parallel_computing dbr:Concatenation dbr:Synchronization_(computer_science) dbr:Formal_language dbr:Commutative_property dbr:Natural_transformation dbr:Dependency_graph dbr:Levi's_lemma dbr:Pierre_Cartier_(mathematician) dbr:Graph_(discrete_mathematics) dbr:MacMahon's_master_theorem dbr:Lecture_Notes_in_Computer_Science dbr:Universal_property dbr:Monoid dbr:Semigroup dbr:Thread_(computing) dbr:Trace_cache dbr:Isomorphism dbc:Formal_languages dbr:String_operations dbr:Kleene_star dbr:Transitive_closure dbr:Free_monoid dbr:Dependency_relation dbr:Lexicographic_order dbr:Dominique_Foata dbc:Combinatorics dbc:Semigroup_theory dbc:Free_algebraic_structures dbr:Trace_theory dbr:History_monoid dbc:Trace_theory dbr:Congruence_relation dbr:Combinatoric dbr:Isomorphic dbr:Talk:Trace_monoid
dbp:date	April 2022 (en)
dbp:postText	See Talk:Trace monoid#As Syntactic Monoids (en)
dbp:wikiPageUsesTemplate	dbt:Non-sequitur dbt:Citation dbt:Expand_section dbt:Isbn dbt:Reflist dbt:Short_description
dct:subject	dbc:Formal_languages dbc:Combinatorics dbc:Semigroup_theory dbc:Free_algebraic_structures dbc:Trace_theory
gold:hypernym	dbr:Set
rdfs:label	Trace monoid (en) Monoïde des traces (fr)
owl:sameAs	freebase:Trace monoid yago-res:Trace monoid wikidata:Trace monoid dbpedia-fr:Trace monoid dbpedia-global:Trace monoid
prov:wasDerivedFrom	wikipedia-en:Trace_monoid?oldid=1293031091&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Trace_monoid
is dbo:knownFor of	dbr:Pierre_Cartier_(mathematician) dbr:Dominique_Foata
is dbo:wikiPageDisambiguates of	dbr:Trace
is dbo:wikiPageRedirects of	dbr:Free_partially_commutative_monoid dbr:Partially_commutative_free_monoid dbr:Trace_language
is dbo:wikiPageWikiLink of	dbr:Commutative_property dbr:Dependency_graph dbr:Product_(category_theory) dbr:Concurrency_(computer_science) dbr:Levi's_lemma dbr:MacMahon's_master_theorem dbr:Trace dbr:Communicating_sequential_processes dbr:Rewriting dbr:Monoid dbr:Syntactic_monoid dbr:Trace_cache dbr:Free_monoid dbr:Dependency_relation dbr:Index_of_philosophy_articles_(R–Z) dbr:Compact_semigroup dbr:Trace_theory dbr:History_monoid dbr:Free_partially_commutative_monoid dbr:Partially_commutative_free_monoid dbr:Trace_language
is dbp:knownFor of	dbr:Pierre_Cartier_(mathematician) dbr:Dominique_Foata
is foaf:primaryTopic of	wikipedia-en:Trace_monoid