Composition with Algebra at the Background

DOI10.1007/978-3-642-38536-0_34zbMath1433.03094OpenAlexW44517138MaRDI QIDQ4928503

Thomas Colcombet

Publication date: 14 June 2013

Published in: Computer Science – Theory and Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-38536-0_34

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Second- and higher-order model theory (03C85) Interpolation, preservation, definability (03C40) Higher-order logic (03B16)

Related Items (2)

The Caucal hierarchy: interpretations in the (W)MSO+\(\mathsf{U}\) logic ⋮ AN ALGEBRAIC APPROACH TO MSO-DEFINABILITY ON COUNTABLE LINEAR ORDERINGS

This page was built for publication: Composition with Algebra at the Background