2529 search results - page 264 / 506 » The Logical Structure of Binding |
166
click to vote
ER
2000
Springer
15 years 10 months ago
2000
Springer
Taxonomies are an important part of conceptual modeling. They provide substantial structural information, and are typically the key elements in integration eorts, however there ha...
179
click to vote
DAS
2008
Springer
15 years 8 months ago
2008
Springer
This paper presents a framework for understanding tables of contents (TOC) of books, journals, and magazines. We propose a universal logical structure representation in terms of a...
170
click to vote
ENTCS
2006
15 years 6 months ago
2006
It is common practice in both theoretical computer science and theoretical physics to describe the (static) logic of a system by means of a complete lattice. When formalizing the d...
160
click to vote
ISCI
2010
15 years 5 months ago
2010
An important concept in the theory of residuated lattices and other algebraic structures used for formal fuzzy logic, is that of a filter. Filters can be used, amongst others, to...
185
click to vote
LPAR
2010
Springer
15 years 4 months ago
2010
Springer
By Courcelle's Theorem we know that any property of finite structures definable in monadic second-order logic (MSO) becomes tractable over structures with bounded treewidth. T...