Equality of functions in CAST

  • Josep Miró
  • Margaret Miró-Juliá
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1030)


This paper deals with the systematical checking of the possible equality of two functions or what is the same, of two expressions. The nature of the problem is first considered. The concept of Universe is reexamined. The concepts of Object Attribute Power Table, Prime Universe, Prime Table and Canonical Expression, unique for each class of equivalent functions, are introduced. A procedure to determine the Canonical Expression is presented.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    Scot, D. Domains for Denotational Semantics. A connected and expanded Version of a paper prepared for ICALP, 1982, Aarhus, Denmark 1982.Google Scholar
  2. [2]
    Pawlak Z., Systemy Informacyjne, ANT, Warzawa, 1983Google Scholar
  3. [3]
    Vakarelow D. Consequence Relations and Information Systems in Slowinski, R Intelligent Decision Support, Kluwer A. Publ. Dordrecht 1992Google Scholar
  4. [4]
    Genesereth M. R., N.J. Nilsson Logical Foundations of Artificial Intelligence Morgan Kauffman Inc..-Los Altos, Calif. 1987Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1996

Authors and Affiliations

  • Josep Miró
    • 1
  • Margaret Miró-Juliá
    • 1
  1. 1.Universitat de les Illes Balears. Ed A. TurmedaPalma de MallorcaSpain

Personalised recommendations