Semantical evaluations as monadic second-order compatible structure transformations

DOI10.1007/3-540-45931-6_1MaRDI QIDQ4738213zbMATH OpenFDO

Authors Bruno Courcelle

Publication date 11 August 2004

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2303/23030001.htm

Mathematics Subject Classification ID

Second- and higher-order model theory (03C85) Automata and formal grammars in connection with logical questions (03D05) Semantics in the theory of computing (68Q55) Graph theory (including graph drawing) in computer science (68R10)

Recommendations

• Monadic second-order definable graph transductions: a survey
• Monadic second-order logic on tree-like structures
• Monadic second-order logic, graph coverings and unfoldings of transition systems
• STACS 2004
• From monadic second-order definable string transformations to transducers

Cited in

(3)

• scientific article; zbMATH DE number 5944670 (Why is no real title available?)
• On the monadic second-order transduction hierarchy
• scientific article; zbMATH DE number 6163261 (Why is no real title available?)

This page was built for publication: Semantical evaluations as monadic second-order compatible structure transformations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4738213)