8228 search results - page 154 / 1646 » Structural Logical Relations |
JSYML
2010
13 years 5 months ago
2010
We reformulate, in the context of continuous logic, an oscillation theorem proved by G. Hjorth and give a proof of the theorem in that setting which is similar to, but simpler than...
LOGCOM
2007
13 years 10 months ago
2007
The paper provides a uniform representation of abductive reasoning in the logical framework of causal inference relations. The representation covers in a single framework not only...
CIMCA
2008
IEEE
14 years 11 days ago
2008
IEEE
XML has emerged as a common standard for data exchange over the World Wide Web. One way to manage XML data is to use the power of relational databases for storing and q...
ICCD
2000
IEEE
14 years 7 months ago
2000
IEEE
This paper presents a new method to extract functionally equivalent structures from logic netlists. It uses a fast functional regularity extraction algorithm based on structural e...
CALCO
2005
Springer
14 years 4 months ago
2005
Springer
Every endofunctor B on the category Set can be lifted to a fibred functor on the category (fibred over Set) of equivalence relations and relation-preserving functions. In this pa...