Free Constructions in Algebraic Institutions

Authors:
Andrzej Tarlecki
Affiliations:
-
Venue:
Proceedings of the Mathematical Foundations of Computer Science 1984
Year:
1984

Citing 0
Cited 3

On word problems in horn theories

Journal of Symbolic Computation
Algebraic approaches to nondeterminism—an overview

ACM Computing Surveys (CSUR)
Weak inclusion systems

Mathematical Structures in Computer Science

Quantified Score

Hi-index	0.00

Visualization

Abstract