Synchronizing relations on words
type: Item
instance of: scholarly article
title: Synchronizing relations on words
zbMATH Open document ID: 1335.68118
author: Diego Figueira
author: Leonid Libkin
published in: Theory of Computing Systems
publication date: 2016-01-28T00:00:00Z
Mathematics Subject Classification ID: 68Q45
Mathematics Subject Classification ID: 68R15
zbMATH DE Number: 6536606
zbMATH Keywords: word relations
zbMATH Keywords: regularity
zbMATH Keywords: rationality
zbMATH Keywords: recognizability
describes a project that uses: jSpin
describes a project that uses: SPIN
MaRDI profile type: Publication
full work available at URL: s00224-014-9584-2
OpenAlex ID: W2167483151
cites work: CONCUR 2004 - Concurrency Theory
cites work: Visibly pushdown languages
cites work: Automata for XML -- a survey
cites work: Graph Logics with Rational Relations and the Generalized Intersection Problem
cites work: Q5452300
cites work: Definable relations and first-order query languages over strings
cites work: Q3859267
cites work: Q3906456
cites work: Synchronized rational relations of finite and infinite words
cites work: Q2754102
cites work: The growth ratio of synchronous rational relations is unique
cites work: Decision problems among the main subfamilies of rational relations
cites work: Q3396589
cites work: Properties of Finite and Pushdown Transducers
cites work: On Relations Defined by Generalized Finite Automata
cites work: Document spanners: a formal approach to information extraction
cites work: Synchronizing Relations on Words
cites work: Q4218124
cites work: Q4828516
cites work: Q4518896
cites work: Q3141897
cites work: Q4411812
cites work: Transductions des langages de Chomsky
cites work: On Context-Free Languages
cites work: Q3644388
cites work: Algorithmic Metatheorems for Decidable LTL Model Checking over Infinite Systems
DOI: 10.1007/S00224-014-9584-2
description: scientific article; zbMATH DE number 6536606