Algebraic Knowledge Representation: The Unification of Procedure, Logic and Structure

Amílcar Sernadas, Cristina Sernadas, José Luiz Fiadeiro

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish
Title of host publicationProceedings of the 4st Workshop on Abstract Data Type
Publication statusPublished - 1986

Cite this

Sernadas, A., Sernadas, C., & Fiadeiro, J. L. (1986). Algebraic Knowledge Representation: The Unification of Procedure, Logic and Structure. In Proceedings of the 4st Workshop on Abstract Data Type