4370 search results - page 167 / 874 » Algebra of Logic Programming |
95
Voted
LPAR
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. A meta-program is a program that generates or manipulates another program; in homogeneous meta-programming, a program may generate new parts of, or manipulate, itself. Me...
78
Voted
CORR
2010
Springer
15 years 13 days ago
2010
Springer
Abstract. This is a short survey illustrating some of the essential aspects of the theory of canonical extensions. In addition some topological results about canonical extensions o...
111
Voted
IFIPTCS
2010
14 years 10 months ago
2010
This paper describes some basic relationships between mathematical structures that are relevant in quantum logic and probability, namely convex sets, effect algebras, and a new cl...
123
Voted
COCO
1993
Springer
15 years 4 months ago
1993
Springer
We introduce a linear algebraic model of computation, the Span Program, and prove several upper and lower bounds on it. These results yield the following applications in complexit...
87
Voted
ERSHOV
1999
Springer
15 years 4 months ago
1999
Springer
Abstract. Monads are a technique widely used in functional programming languages to address many different problems. This paper presents extensions, a functional-logic programming...