689 search results - page 10 / 138 » A Modal-Logic Based Graph Abstraction |
ICFP
2012
ACM
12 years 6 days ago
2012
ACM
This paper presents a new functional programming model for graph structures called structured graphs. Structured graphs extend conventional algebraic datatypes with explicit defi...
ERCIMDL
2006
Springer
14 years 1 months ago
2006
Springer
ined abstract Access Points combined with specific attributes (Attribute Sets)
CLA
2007
13 years 11 months ago
2007
Abstract. This paper presents a mathematization of the philosophical doctrine of judgments as an extension of the mathematization of the philosophical doctrine of concepts develope...
DAGSTUHL
2007
13 years 11 months ago
2007
Abstract. In this paper, we consider two particular problems of directed graph matching. The first problem concerns graphs with nodes that have been subdivided into classes of di...
CP
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. This report presents a generic filtering scheme, based on the graph description of global constraints. This description is defined by a network of binary constraints and ...