MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "On Classes of Computable Functions" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

113 documents found, showing 1 through 10. Next 10 →

ATOM

CLASSES OF COMPUTABLE FUNCTIONS DEFINED BY BOUNDS ON COMPUTATION: PRELIMINARY REPORT*
by unknown authors
…CLASSES OF COMPUTABLE FUNCTIONS DEFINED BY BOUNDS ON COMPUTATION: PRELIMINARY REPORT* Abstract…
Add To MetaCart

Distributive Computability
by Dislribulive Compulabilily, Sebastiano Vigna, Giancarlo Maui, Nicoletta Sabadini, Robert F. C. Walters
… an element of Y. Definition 1 The class of distributively computable functions (over the given family…
Add To MetaCart

Specifying IMP(G) Using ASF+SDF: A Case Study
by Sebastiano Vigna — 1995 — of the University of Amsterdam
….e., in order to describe uniformly the class of computable functions arising from a given basic set…
Cited by 1 (1 self) – Add To MetaCart

Using ASF+SDF: A Case Study
by Sebastiano Vigna Dipartimento, Sebastiano Vigna — 1995 — of the University of Amsterdam
….e., in order to describe uniformly the class of computable functions arising from a given basic set…
Add To MetaCart

Elementarily computable functions over the real numbers and R-sub-recursive functions. Theoretical
by Olivier Bournez, Emmanuel Hainry — 2005 — Theoretical Computer Science
…-independent characterizations of natural classes of computable functions over the real numbers, allowing to define these classes…
Cited by 11 (5 self) – Add To MetaCart

A Universal Characterisation of the Closed Euclidean Interval
by Martín H. Escardo, Alex K. Simpson — in: Proceedings of 16th Annual IEEE Symposium on Logic in Computer Science
… natural class of computable functions on the interval. Contents 1 Introduction 1 2 Abstract convex bodies…
Cited by 1 (1 self) – Add To MetaCart

Computable Functions on Stream Algebras
by J.V. Tucker, Department Of Computer Science, J. I. Zucker — 1994
… is an infinite sequence of data from A. We study classes of computable functions on streams over A. We show how…
Cited by 8 (5 self) – Add To MetaCart

Analogues of quantum complementarity in the theory of automata
by K. Svozil — 1998 — Studies in History and Philosophy of Modern Physics
…),Randall and Foulis(1973)]. Fi- nite automata are universal with respect to the class of computable…
Cited by 1 (0 self) – Add To MetaCart

General size-change termination and lexicographic descent
by Amir M. Ben-amram — 2002 — The Essence of Computation: Complexity, Analysis, Transformation. Essays Dedicated to Neil D. Jones, volume 2566 of Lecture Notes in Computer Science
… computable will span the class of primitive recursive functions. A well-known example of a recursively…
Cited by 5 (0 self) – Add To MetaCart

A Construction of typed lambda models related to feasible computability
by Vladimir Sazonov, Andrei Voronkov — 1998
… programming language use to define a specific class of computations. If we consider some set F of functions…
Cited by 5 (0 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB