Equational type logic

Authors:
V. Manca;A. Salibra;G. Scollo
Affiliations:
Univ. of Pisa, Pisa, Italy;Univ. of Pisa, Pisa, Italy;Univ. of Twente, Enschede, The Netherlands
Venue:
Conference proceedings on Algebraic methodology and software technology
Year:
1989

Citing 0
Cited 4

Relating CASL with other specification languages: the institution level

Theoretical Computer Science
Term Rewriting in a Logic of Special Relations

AMAST '98 Proceedings of the 7th International Conference on Algebraic Methodology and Software Technology
Structured transition systems with parametric observations: observational congruences and minimal realizations

Mathematical Structures in Computer Science
Combining Ccs And Petri Nets Via Structural Axioms

Fundamenta Informaticae

Quantified Score

Hi-index	0.00

Visualization

Abstract