3624 search results - page 24 / 725 » Abstract Algebraic Logic |
126
click to vote
ACL2
2006
ACM
15 years 5 months ago
2006
ACM
ACL2 is used to systematically study domains whose elements can be “uniquely” factored into products of “irreducible” elements. The best known examples of such domains are...
103
click to vote
CSL
1997
Springer
15 years 3 months ago
1997
Springer
We present a complete axiomatization of test algebra ( 24, 18, 29]), the two-sorted algebraic variant of Propositional Dynamic Logic (PDL, 21, 7]). The axiomatization consists of ...
ICLA
2009
Springer
15 years 6 months ago
2009
Springer
90
Voted
FSS
2008
14 years 11 months ago
2008
In this paper, we introduce triangle algebras: a variety of residuated lattices equipped with approximation operators, and with a third angular point u, different from 0
ACSD
2006
IEEE
15 years 5 months ago
2006
IEEE
an Algebra of Abstractions for Communicating Processes M. Koutny, Giuseppe Pappalardo and M. Pietkiewicz-Koutny. TECHNICAL REPORT SERIES No. CS-TR-949 Febuary, 2006 NEWCASTLE UN IV...