An algebraic approach to deduction in equational partial horn theories

Authors:
Uwe Wolter
Affiliations:
-
Venue:
Journal of Information Processing and Cybernetics
Year:
1991

Citing 0
Cited 2

A (Co)algebraic analysis of synchronization in CSP

WADT'06 Proceedings of the 18th international conference on Recent trends in algebraic development techniques
Cofree coalgebras for signature morphisms

Formal Methods in Software and Systems Modeling

Quantified Score

Hi-index	0.00

Visualization

Abstract