scientific article; zbMATH DE number 7799621

DOI10.4230/lipics.fsttcs.2021.43arXiv2103.05674MaRDI QIDQ6187060

Sarah Winter, Emmanuel Filiot

Publication date: 5 February 2024

Full work available at URL: https://arxiv.org/abs/2103.05674

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

synthesiscontinuityuniformizationcomputabilitytransducers

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Theory of computing (68Qxx)

Related Items

Synthesizing Computable Functions from Rational Specifications Over Infinite Words