8228 search results - page 97 / 1646 » Structural Logical Relations |
WM
2003
13 years 11 months ago
2003
: One of today’s hottest IT topics is integration, as bringing together information from different sources and structures is not completely solved. The approach outlined here wan...
CADE
2000
Springer
14 years 2 months ago
2000
Springer
Abstract. aRa is an automatic theorem prover for various kinds of relation algebras. It is based on Gordeev’s Reduction Predicate Calculi for n-variable logic (RPCn) which allow ...
WADT
1998
Springer
14 years 2 months ago
1998
Springer
Abstract. The conditions under which a formal system for reasoning about structural specifications, built over one logical system could be reused for reasoning about structured spe...
IGPL
1998
13 years 9 months ago
1998
Is it possible to compute in which logics a given formula is deducible? The aim of this paper is to provide a formal basis to answer positively this question in the context of sub...
CORR
2008
Springer
13 years 10 months ago
2008
Springer
We study the model checking problem, for fixed structures A, over positive equality-free first-order logic