2540 search results - page 393 / 508 » Abstract Logics as Dialgebras |
ATVA
2004
Springer
14 years 1 months ago
2004
Springer
In this paper, we describe a first-order linear time temporal logic (LTL) model checker based on multiway decision graphs (MDG). We developed a first-order temporal language, LMDG ...
BIOADIT
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. This article describes a novel approach to the implementation on an electronic substrate of a process analogous to the cellular division of biological organisms. Cellular...
BIRTHDAY
2006
Springer
14 years 1 months ago
2006
Springer
Abstract. Heuristic programming was the first area in which AI methods were tested. The favourite case-studies were fairly simple toyproblems, such as cryptarithmetic, games, such ...
CIE
2006
Springer
14 years 1 months ago
2006
Springer
Abstract. We outline a general theory of graph polynomials which covers all the examples we found in the vast literature, in particular, the chromatic polynomial, various generaliz...
CP
2006
Springer
14 years 1 months ago
2006
Springer
Abstract. By introducing the Regular Membership Constraint, Gilles Pesant pioneered the idea of basing constraints on formal languages. The paper presented here is highly motivated...