Built-in support for Abstract Data Types in the Σ Decision Diagram framework
ContributorsLopez Bobeda, Edmundo
DirectorsBuchs, Didier; Hostettler, Steve Patrick
Defense date2010
Abstract
Keywords
- ∑DD
- Decision diagram
- Term rewriting
- Symbolic techniques
- Set of terms
Affiliation entities
Research groups
Citation (ISO format)
LOPEZ BOBEDA, Edmundo. Built-in support for Abstract Data Types in the Σ Decision Diagram framework. Master, 2010.
Main files (1)
Master thesis
Identifiers
- PID : unige:15811