Free objects and equational deduction for partial conditional specifications

Relating CASL with other specification languages: the institution level

Theoretical Computer Science

Combining Logics: Parchments Revisited

WADT '01 Selected papers from the 15th International Workshop on Recent Trends in Algebraic Development Techniques

HASCASL: Towards Integrated Specification and Development of Functional Programs

AMAST '02 Proceedings of the 9th International Conference on Algebraic Methodology and Software Technology

On a Generalised Logicality Theorem

AISC '02/Calculemus '02 Proceedings of the Joint International Conferences on Artificial Intelligence, Automated Reasoning, and Symbolic Computation

Structures for Abstract Rewriting

Journal of Automated Reasoning

HasCasl: Integrated higher-order specification and program development

Theoretical Computer Science