finitary
英式音标:[\'faɪnɪtərɪ] 美式音标:[\'faɪnɪtərɪ]
finitary的意思释义 adj.有限性的;英英释义 FinitaryIn mathematics or logic, a finitary operatio

finitary怎么读
英式音标:[\'faɪnɪtərɪ]
美式音标:[\'faɪnɪtərɪ]
finitary的意思释义
adj.
有限性的;
英英释义
FinitaryIn mathematics or logic, a finitary operation is an operation that takes a finite number of input values to produce an output, like those of arithmetic. Operations on infinite numbers of input values are called infinitary.
finitary用法及例句
例句参考
Finitary PCF is not decidableFinitary Models of Language Users
Finitary winning in ω-regular games
Finitary Winning in omega-Regular Games.
Finitary substitute for continuous topology
Testing Finitary Probabilistic Processes
Verification by augmented finitary abstraction
On the final sequence of a finitary set functor
Interpreting a finitary pi-calculus in differential interaction nets ☆
Adjunctions whose counits are coequalizers, and presentations of finitary enriched monads
