On the behavioral equivalence between k-data structures
Throughout this paper we consider data structures as sorted algebras endowed with a designated subset of their visible part, which represents the set of truth values. The originality of our approach is the application of the standard abstract algebraic logic theory of deductive systems to the hidden...
| Main Author: | |
|---|---|
| Format: | article |
| Language: | eng |
| Published: |
1000
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/10773/6931 |
| Country: | Portugal |
| Oai: | oai:ria.ua.pt:10773/6931 |