3624 search results - page 13 / 725 » Abstract Algebraic Logic |
ICDE
2005
IEEE
15 years 5 months ago
2005
IEEE
Abstract Although e-commerce is becoming popular, product rules, which describe various conditions such as prices, applicability, and discount conditions are still expressed in nat...
105
click to vote
CADE
2007
Springer
16 years 1 days ago
2007
Springer
Abstract. It has often been claimed that model checking, special purpose automated deduction or interactive theorem proving are needed for formal program development. Recently, it ...
FROCOS
2007
Springer
15 years 5 months ago
2007
Springer
In abstract algebra, a structure is said to be Noetherian if it does not admit infinite strictly ascending chains of congruences. In this paper, we adapt this notion to first-ord...
DLT
2006
15 years 1 months ago
2006
Abstract. We show that some language theoretic and logical characterizations of recognizable word languages whose syntactic monoid is in the variety DA also hold over traces. To th...
AMAST
1997
Springer
15 years 3 months ago
1997
Springer
