Abstract
We introduce a stepwise approach for computing symbolic diagrams. Such logical diagrams display formulas and connections between them and they are useful tools for visualizing connections between formulas as well as for reasoning about them. This incremental approach is modular: it starts from small diagrams and expands them. We explain the method and justify it. We also comment on the application of these ideas and illustrate them with some examples. © 2008 Springer Berlin Heidelberg.
Author supplied keywords
Cite
CITATION STYLE
Veloso, P. A. S., & Veloso, S. R. M. (2008). Methodical construction of symbolic diagrams. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 5249 LNAI, pp. 187–196). Springer Verlag. https://doi.org/10.1007/978-3-540-88190-2_24
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
