4370 search results - page 536 / 874 » Algebra of Logic Programming |
114
click to vote
POPL
2012
ACM
14 years 4 hour ago
2012
ACM
We develop logical mechanisms and decision procedures to facilitate the verification of full functional properties of inductive tree data-structures using recursion that are soun...
141
click to vote
DDECS
2008
IEEE
15 years 11 months ago
2008
IEEE
: We propose a simple and fast two-level minimization algorithm for completely specified functions in this paper. The algorithm is based on processing ternary trees. A ternary tree...
129
click to vote
TACAS
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. The Succinct Solver Suite offers two analysis engines for solving data and control flow problems expressed in clausal form in a large fragment of first order logic. Th...
126
Voted
DBPL
1999
Springer
15 years 8 months ago
1999
Springer
Linear constraint databases and query languages are appropriate for spatial database applications. Not only the data model is natural to represent a large portion of spatial data s...
128
click to vote
ENTCS
2006
15 years 4 months ago
2006
We propose a formal method to validate the reliability of a web application, by modeling interactions among its constituent objects. Modeling exploits the recent "Multiple Le...