Results 261 to 270 of about 30,213 (286)

Lp‐Computability

Mathematical Logic Quarterly, 1999
Ning Zhong, Bing-Yu Zhang
exaly  

A new face of the branching recurrence of computability logic

Applied Mathematics Letters, 2012
Giorgi Japaridze
exaly  

Deviant encodings and Turing’s analysis of computability

Studies in History and Philosophy of Science Part A, 2010
B Jack Copeland, Diane Proudfoot
exaly  

Computation

Digital Signal Processing, 1991
openaire   +1 more source

Propositional computability logic II

ACM Transactions on Computational Logic, 2006
Giorgi Japaridze
exaly  

An implicit/explicit integration scheme to increase computability of non-linear material and contact/friction problems

Computer Methods in Applied Mechanics and Engineering, 2008
J Oliver, A E Huespe, J Cante
exaly  

Computers

JAMA: The Journal of the American Medical Association, 1989
openaire   +2 more sources

Computability on Regular Subsets of Euclidean Space

Mathematical Logic Quarterly, 2002
Martin Ziegler
exaly  

Effective properties of sets and functions in metric spaces with computability structure

Theoretical Computer Science, 1999
Mariko Yasugi, Takakazu Mori, Yoshiki Tsujii   +2 more
exaly  

Computers

Nursing Management (Springhouse), 1982
E G, Hartigan, J, Brown
openaire   +2 more sources