Results 261 to 270 of about 8,116,433 (292)

Finite-Type Invariants of Cubic Complexes

Acta Applicandae Mathematica, 2003
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Matveev, S., Polyak, M.
openaire   +2 more sources

Predicative recurrence in finite types

1994
We consider the functionals defined using an extension to higher types of predicative recurrence, introduced in [Lei90b, BC92, Lei93b]. Three styles of predicative recurrence over a free algebra A are examined: equational recurrence, applicative programs with recurrence operators, and purely applicative higher-type programs.
openaire   +2 more sources

Computational Complexity Via Finite Types

ACM Transactions on Computational Logic, 2015
We address computational complexity writing polymorphic functions between finite types (i.e., types with a finite number of canonical elements), expressing costs in terms of the cardinality of these types.
openaire   +1 more source

Quadrics of Coordinate Finite Type

2023 International Conference on Information Technology (ICIT), 2023
Mohammad Al-kafaween, Hamza Alzaareer, Hassan Al-Zoubi   +2 more
openaire   +1 more source

A note on equality in finite‐type arithmetic

Mathematical Logic Quarterly, 2017
AbstractWe present a version of arithmetic in all finite types based on a systematic use of an internally definable notion of observational equivalence for dealing with equalities at higher types. For this system both intensional and extensional models are possible, the deduction theorem holds and the soundness of the Dialectica interpretation is ...
openaire   +4 more sources

Fr�chet algebras of finite type

Archiv der Mathematik, 2004
A Fréchet algebra is a locally multiplicatively convex, complete, topological algebra the topology of which arises from an increasing countable family \(\{p_j\}\) of submultiplicative seminorms such that the intersection of their kernels is just zero. Let \(\chi\) be an inverse (projective) limit sequence of Banach algebras and let \(\lim_{\leftarrow ...
openaire   +2 more sources

Finite Types

2022
openaire   +1 more source

Functionals of Finite Type

1977
In this chapter we treat the theory of functionals of finite type in which, following K Godel [2] pure number theory can be interpreted (§19). The functionals concerned are introduced in §15 and they are shown to be calculable in §16 following W. Howard by transfinite induction up to ee0, in fact, by using the ordinal terms of §14.
openaire   +1 more source

Optimization of thermal systems based on finite-time thermodynamics and thermoeconomics

Progress in Energy and Combustion Science, 2004
Oguz Salim Sogut, Bahri Şahin, Ahmet Durmayaz   +2 more
exaly  

Finite-time stability analysis and stabilization by bounded linear time-varying feedback

Automatica, 2020
Bin Zhou
exaly