Tractable Constraints in Finite Semilattices

Abstract

time algorithms for testing the satissability of propositional horn formulae. 21. Mads Tofte and Jean-Pierre Talpin. Implementation of the typed call-by-value-calculus using a stack of regions. 

Topics

Figures and Tables

Sorry, we couldn't extract any figures or tables for this paper.

Slides referencing similar topics