1226 search results - page 104 / 246 » Proofs, Programs and Abstract Complexity |
132
Voted
VEE
2009
ACM
15 years 10 months ago
2009
ACM
r of high-level languages lies in their abstraction over hardware and software complexity, leading to greater security, better reliability, and lower development costs. However, o...
142
click to vote
CSL
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. In classical approaches to knowledge representation, reasoners are assumed to derive all the logical consequences of their knowledge base. As a result, reasoning in the ï...
125
click to vote
LACL
1998
Springer
15 years 7 months ago
1998
Springer
Abstract. The principle of compositionality, as standardly defined, regards grammars as compositional that are not compositional in an intuitive sense of the word. There is, for ex...
140
Voted
JAR
2006
15 years 3 months ago
2006
We describe an approach to verifying bit-level pipelined machine models using a combination of deductive reasoning and decision procedures. While theorem proving systems such as AC...
151
click to vote
LICS
2006
IEEE
15 years 9 months ago
2006
IEEE
aic semantics, which conveniently abstracts from the details of a given model class and thus allows covering a broad range of logics in a uniform way. Categories and Subject Descri...