CORR
2008
Springer
14 years 19 days ago
2008
Springer
CORR
2008
Springer
14 years 19 days ago
2008
Springer
This paper presents the generalization of weighted distances to modules and their computation through the chamfer algorithm on general point lattices. The first part is dedicated ...
CORR
2008
Springer
14 years 19 days ago
2008
Springer
We study the model checking problem, for fixed structures A, over positive equality-free first-order logic
CORR
2008
Springer
14 years 19 days ago
2008
Springer
A constant-rate encoder
CORR
2008
Springer
14 years 19 days ago
2008
Springer
CORR
2008
Springer
14 years 19 days ago
2008
Springer
A "pairing function" J associates a unique natural number z to any two natural numbers x,y such that for two "unpairing functions" K and L, the equalities K(J(x...
CORR
2008
Springer
14 years 19 days ago
2008
Springer
Prolog's ability to return multiple answers on backtracking provides an elegant mechanism to derive reversible encodings of combinatorial objects as Natural Numbers i.e. ranki...
CORR
2008
Springer
14 years 19 days ago
2008
Springer
CORR
2008
Springer
14 years 19 days ago
2008
Springer
The paper is organized as a self-contained literate Prolog program that implements elements of an executable finite set theory with focus on combinatorial generation and arithmetic...
CORR
2008
Springer
14 years 19 days ago
2008
Springer
The Aristotelian syllogistic cannot account for the validity of certain inferences involving relational facts. In this paper, we investigate the prospects for providing a relationa...