Detecting equivalence of modular specifications with categorical diagrams

Authors:
Catherine Oriat
Affiliations:
LSR—IMAG, Saint Martin d'Héres, France
Venue:
Theoretical Computer Science
Year:
2000

Citing 0
Cited 2

A language for configuring multi-level specifications

Theoretical Computer Science - Algebraic methodology and software technology
Theory presentation combinators

CICM'12 Proceedings of the 11th international conference on Intelligent Computer Mathematics

Quantified Score

Hi-index	5.23

Visualization

Abstract