Proving implications by algebraic approximation

This publication has 11 references indexed in Scilit:

• Groundness analysis for Prolog
  Published by Association for Computing Machinery (ACM) ,1993
• Symbolic Boolean manipulation with ordered binary-decision diagrams
  ACM Computing Surveys, 1992
• Graph-Based Algorithms for Boolean Function Manipulation
  IEEE Transactions on Computers, 1986
• Galois connections and computer science applications
  Published by Springer Nature ,1986
• The Laws of Finite Pointed Groups
  Bulletin of the London Mathematical Society, 1982
• General Lattice Theory
  Published by Springer Nature ,1978
• Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints
  Published by Association for Computing Machinery (ACM) ,1977
• Algebraic Systems
  Published by Springer Nature ,1973
• Varieties of Groups
  Published by Springer Nature ,1967
• Subdirect unions in universal algebra
  Bulletin of the American Mathematical Society, 1944