Equivalences among Various Logical Frameworks of Partial Algebras

Authors:
Till Mossakowski
Affiliations:
-
Venue:
CSL '95 Selected Papers from the9th International Workshop on Computer Science Logic
Year:
1995

Citing 0
Cited 3

Functorial models for petri nets

Information and Computation
Relating CASL with other specification languages: the institution level

Theoretical Computer Science
A Total Approach to Partial Algebraic Specification

ICALP '02 Proceedings of the 29th International Colloquium on Automata, Languages and Programming

Quantified Score

Hi-index	0.00

Visualization

Abstract