Results 91 to 100 of about 5,051 (115)

A primer on the tools and concept of computable economics [PDF]

K. Vela Velupillai
core  

Recursive Types: the syntactic and semantic approaches(Type Theory and its Applications to Computer Systems)

Recursive Types: the syntactic and semantic approaches(Type Theory and its Applications to Computer Systems)
openaire  

Computational Playability of Backward-Induction Solutions and Nash Equilibria : An Application of Recursion Theory to Game Theory(New Aspects in Non-Classical Logics and Their Kripke Semantics)

Computational Playability of Backward-Induction Solutions and Nash Equilibria : An Application of Recursion Theory to Game Theory(New Aspects in Non-Classical Logics and Their Kripke Semantics)
openaire  

An Introduction to the Recursion Theory Framework for DNA-Based Applications in Bio-Molecular Computing and Information Processing Using the (HOL) Higher Order Logic System

International Journal of Applied Research on Information Technology and Computing, 2015
D.N.T. Kumar Nirmal, Carolina C. Bueno, Andre Henrique Rosa   +2 more
openaire   +1 more source

Expressing Power of Elementary Quantum Recursion Schemes for Quantum Logarithmic-Time Computability

Lecture Notes in Computer Science, 2022
Tomoyuki Yamakami
exaly  

Recursive functions in computer theory. (Computers and their application series no. 9)

Mathematics and Computers in Simulation, 1982
openaire   +1 more source

Sequential Computability of a Function: Diagonal Space and Limiting Recursion

Electronic Notes in Theoretical Computer Science, 2005
Yoshiki Tsujii, Mariko Yasugi, Takakazu Mori   +2 more
exaly  

Computability vs recursion

Lecture Notes in Mathematics, 1980
Dag Normann
exaly  

Computability

Graduate Texts in Mathematics, 1994
Douglas S Bridges
exaly  

Computability of a function with jumps*1Effective uniformity and limiting recursion

Topology and Its Applications, 2005
Mariko Yasugi, Yoshiki Tsujii
exaly