Towards the one-tiered design of data types and transition systems

Authors:
Peter Padawitz
Affiliations:
-
Venue:
WADT '97 Selected papers from the 12th International Workshop on Recent Trends in Algebraic Development Techniques
Year:
1997

Citing 0
Cited 3

Hiding More of Hidden Algebra

FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
Hidden Congruent Deduction

Selected Papers from Automated Deduction in Classical and Non-Classical Logics
Behavioral abstraction is hiding information

Theoretical Computer Science - Selected papers of CMCS'03

Quantified Score

Hi-index	0.00

Visualization

Abstract