Axiomatizing the subsumption and subword preorders on finite and infinite partial words
type: Item
instance of: scholarly article
title: Axiomatizing the subsumption and subword preorders on finite and infinite partial words
zbMATH Open document ID: 0997.68069
DOI: 10.1016/S0304-3975(00)00442-4
author: Zoltán Ésik
published in: Theoretical Computer Science
publication date: 2002-07-15T00:00:00Z
Mathematics Subject Classification ID: 68Q45
zbMATH DE Number: 1768204
zbMATH Keywords: two-sorted algebras
MaRDI profile type: Publication
cites work: Q2736337
cites work: Denotational semantics in the cpo and metric approach
cites work: Partial words and a theorem of Fine and Wilf
cites work: Varieties of ordered algebras
cites work: Long words: The theory of concatenation and \(\omega\)-power
cites work: Four domains for concurrency
cites work: Q4721639
cites work: The equational theory of pomsets
cites work: Q3922196
cites work: Q4381401
cites work: Series-parallel languages and the bounded-width property
cites work: Q3975177
cites work: Q3975160
cites work: Modeling concurrency with partial orders
cites work: The Recognition of Series Parallel Digraphs
cites work: Q4036596
cites work: Algebraic characterization of petri net pomset semantics
cites work: Behaviours of concurrent systems
cites work: Q3126181
cites work: Q3667958
cites work: Q4857386
Recommended article: On subwords of infinite words
Recommended article: Definability in substructure orderings. I: Finite semilattices
Recommended article: Definability in the Subword Order
Recommended article: Definability in substructure orderings. II: Finite ordered sets
Recommended article: On the subword equivalence problem for infinite words
Recommended article: Axiomatizing omega and omega-op powers of words
Recommended article: Partial words and a theorem of Fine and Wilf revisited
Recommended article: SUBWORD COMPLEXITY OF PROFINITE WORDS AND SUBGROUPS OF FREE PROFINITE SEMIGROUPS
Recommended article: Q5144688
Recommended article: Q4623039
description: scientific article; zbMATH DE number 1768204