12742 search results - page 5 / 2549 » On canonical number systems |
ADBIS
2005
Springer
15 years 3 months ago
2005
Springer
The current period of IT development is characterized by an explosive growth of diverse information representation languages. Applying integration and composition of heterogeneous ...
SCL
2008
14 years 9 months ago
2008
This paper establishes a straightforward interconnection between the Kronecker canonical form and the special coordinate basis of linear systems. Such an interconnection yields an...
BIRTHDAY
2010
Springer
14 years 7 months ago
2010
Springer
We define the notions of a canonical inference rule and a canonical constructive system in the framework of strict single-conclusion Gentzen-type systems (or, equivalently, natural...
CADE
2001
Springer
15 years 10 months ago
2001
Springer
Canonical propositional Gentzen-type systems are systems which in addition to the standard axioms and structural rules have only pure logical rules with the subformula property, in...
MFCS
2005
Springer
15 years 3 months ago
2005
Springer
We prove that every disjoint NP-pair is polynomial-time, many-one equivalent to the canonical disjoint NP-pair of some propositional proof system. Therefore, the degree structure ...