Management of Change in Declarative Languages

DOI10.1007/978-3-642-31374-5_22MaRDI QIDQ2907332zbMATH OpenOpenAlexFDO

Authors Mihnea Iancu, Florian Rabe

Publication date 7 September 2012

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

Full work available at URL https://doi.org/10.1007/978-3-642-31374-5_22

Mathematics Subject Classification ID

Theory of programming languages (68N15) Knowledge representation (68T30)

Recommendations

• scientific article; zbMATH DE number 2018597
• scientific article; zbMATH DE number 1757972
• Managing Change in Graph-Structured Data Using Description Logics
• scientific article; zbMATH DE number 928020
• Change management for heterogeneous development graphs
• A declarative coordination language
• Towards the uniform implementation of declarative languages

Cited in

(1)

• Workflows for the management of change in science, technologies, engineering and mathematics

Describes a project that uses

Uses Software

• Mizar
• TPTP
• MAYA

This page was built for publication: Management of Change in Declarative Languages

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