1636 search results - page 278 / 328 » Reasoning About Quantum Systems |
173
click to vote
ENTCS
2007
15 years 6 months ago
2007
Logical connectives familiar from the study of hybrid logic can be added to the logical framework LF, a constructive type theory of dependent functions. This extension turns out t...
151
click to vote
STTT
2008
15 years 6 months ago
2008
1 This papers introduces a generic framework for OBDD variants with weighted edges. It covers many boolean and multi-valued OBDD-variants that have been studied in the literature a...
152
Voted
CAD
2000
Springer
15 years 6 months ago
2000
Springer
This paper describes our initial efforts to deploy a digital library to support computer-aided collaborative design. At present, this experimental testbed, The Engineering Design ...
184
click to vote
TITB
2002
15 years 5 months ago
2002
This paper describes the initial stages of building an ontology of bioinformatics and molecular biology. The conceptualisation is encoded using the Ontology Inference Layer (OIL),...
151
click to vote
TOPLAS
2002
15 years 5 months ago
2002
traction and information hiding K. RUSTAN M. LEINO and GREG NELSON Compaq Systems Research Center er describes an approach for verifying programs in the presence of data abstractio...