What Is a Derived Signature Morphism?

Recent Trends in Algebraic Development Techniques - Lecture Notes in Computer Science ◽

10.1007/978-3-319-28114-8_6 ◽

2015 ◽

pp. 90-109 ◽

Cited By ~ 2

Author(s):

Till Mossakowski ◽

Ulf Krumnack ◽

Tom Maibaum

Download Full-text