2529 search results - page 39 / 506 » The Logical Structure of Binding |
115
click to vote
ASPDAC
1995
ACM
15 years 8 months ago
1995
ACM
- Due to efficient interconnect structure and internal parallelism bus-partitioned architectures are very beneficial for sub-micron chip design. This paper presents a new approach ...
128
click to vote
WADT
1998
Springer
15 years 8 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...
134
click to vote
IGPL
1998
15 years 4 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...
110
Voted
CORR
2008
Springer
15 years 4 months ago
2008
Springer
We study the model checking problem, for fixed structures A, over positive equality-free first-order logic
101
click to vote
EUSFLAT
2009
15 years 2 months ago
2009
The present article dedicates itself to fuzzy modelling of data