Reaping the Benefits of Modularization in Flexiformal Mathematics by GF-based AST Transformations
| Title: | Reaping the Benefits of Modularization in Flexiformal Mathematics by GF-based AST Transformations |
|---|---|
| Authors: | Kelber, JosefinAff1; Kohlhase, MichaelAff2; Schaefer, Jan FrederikAff2; Schütz, MarcelAff2 |
| Contributors: | Goos, Gerhard, Founding EditorAff11; Hartmanis, Juris, Founding EditorAff12; Bertino, Elisa, Series EditorAff13; Gao, Wen, Series EditorAff14; Steffen, Bernhard, Series EditorAff15; Yung, Moti, Series EditorAff16; de Paiva, Valeria, editorAff17; Koepke, Peter, editorAff18 |
| Source: | Intelligent Computer Mathematics : 18th International Conference, CICM 2025, Brasilia, Brazil, October 6–10, 2025, Proceedings. 16136:191-207 |
| Database: | Springer Nature eBooks |