4961 search results - page 121 / 993 » Homomorphism-Homogeneous Relational Structures |
117
click to vote
TIME
1998
IEEE
15 years 6 months ago
1998
IEEE
In this paper, we propose a logic of action and causality. The most important part of our contribution is a semantics that integrates action, temporal structure, and probability. ...
121
Voted
JLP
2010
14 years 9 months ago
2010
We present a calculus for tracking equality relationships between values through pairs of bytecode programs. The calculus may serve as a certification mechanism for noninterferenc...
145
Voted
APLAS
2010
ACM
15 years 2 months ago
2010
ACM
We consider the problem of specifying data structures with complex sharing in a manner that is both declarative and results in provably correct code. In our approach, abstract data...
123
Voted
CSL
2010
Springer
15 years 3 months ago
2010
Springer
d Abstract) Thomas Schwentick and Thomas Zeume TU Dortmund University The finite satisfiability problem for two-variable logic over structures with unary relations and two order re...
137
click to vote
JSYML
2011
14 years 9 months ago
2011
Abstract. Louveau and Rosendal [5] have shown that the relation of biembeddability for countable graphs as well as for many other natural classes of countable structures is complet...