2529 search results - page 280 / 506 » The Logical Structure of Binding |
183
click to vote
ISCAS
1994
IEEE
15 years 10 months ago
1994
IEEE
Abstract: Modified sign Haar transform with sign Walsh-like structure is introduced in this article. This nonlinear transform converts binary/ternary vectors into digital spectral ...
157
click to vote
MFCS
1993
Springer
15 years 10 months ago
1993
Springer
We view the Chu space interpretation of linear logic as an alternative interpretation of the language of the Peirce calculus of binary relations. Chu spaces amount to K-valued bin...
210
click to vote
BXML
2003
15 years 8 months ago
2003
We present an approach of how to automatically extract an XML document structure from a conceptual data model that describes the content of the document. We use UML class diagrams ...
159
click to vote
AML
2010
15 years 6 months ago
2010
We investigate the development of terms during cut-elimination in first-order logic and Peano arithmetic for proofs of existential formulas. The form of witness terms in cut-free p...
138
click to vote
TCS
2010
15 years 1 months ago
2010
This paper presents an exact correspondence in typing and dynamics between polarised linear logic and a typed -calculus based on IO-typing. The respective incremental constraints,...