Formalisation of Computability of Operators and Real-Valued Functionals via Domain Theory
暂无分享,去创建一个
[1] S. Smale,et al. On a theory of computation and complexity over the real numbers; np-completeness , 1989 .
[2] P ? ? ? ? ? ? ? % ? ? ? ? , 1991 .
[3] A. Jung,et al. Cartesian closed categories of domains , 1989 .
[4] Dominique Perrin,et al. Finite Automata , 1958, Philosophy.
[5] G. G. Stokes. "J." , 1890, The New Yale Book of Quotations.
[6] Hing Tong,et al. Some characterizations of normal and perfectly normal spaces , 1952 .
[7] Oleg V. Kudinov,et al. A Logical Approach to Specification of Hybrid Systems , 1999, Ershov Memorial Conference.
[8] M. Rosenlicht. Introduction to Analysis , 1970 .
[9] S. Smale,et al. On a theory of computation and complexity over the real numbers; np-completeness , 1989 .
[10] Klaus Weihrauch,et al. Computability on Continuou, Lower Semi-continuous and Upper Semi-continuous Real Functions , 1997, COCOON.
[11] Richard Montague. Recursion Theory as a Branch of Model Theory1 , 1968 .
[12] Klaus Weihrauch,et al. Computability on continuous, lower semi-continuous and upper semi-continuous real functions , 2000, Theor. Comput. Sci..
[13] Zohar Manna,et al. Verifying Hybrid Systems , 1992, Hybrid Systems.
[14] Arlen Brown,et al. An Introduction to Analysis , 1994 .
[15] Abbas Edalat. Domain Theory and Integration , 1995, Theor. Comput. Sci..
[16] J. V. Tucker,et al. Complete local rings as domains , 1988, Journal of Symbolic Logic (JSL).
[17] Jens Blanck,et al. Domain Representability of Metric Spaces , 1997, Ann. Pure Appl. Log..
[18] Ker-I Ko,et al. Computational Complexity of Real Functions , 1982, Theor. Comput. Sci..
[19] I︠U︡riĭ Leonidovich Ershov. Definability and Computability , 1996 .
[20] Pietro Di Gianantonio. Real Number Computability and Domain Theory , 1996, Inf. Comput..
[21] Jon Barwise,et al. Admissible sets and structures , 1975 .
[22] J. V. Tucker,et al. Effective algebras , 1995, Logic in Computer Science.
[23] Dana S. Scott,et al. Outline of a Mathematical Theory of Computation , 1970 .
[24] Thomas A. Henzinger,et al. Towards Refining Temporal Specifications into Hybrid Systems , 1992, Hybrid Systems.
[25] M. V. Korovina,et al. Some properties of majorant-computability , 1999 .
[26] Klaus Keimel,et al. The way-below relation of function spaces over semantic domains , 1998 .
[27] Yu. L. Ershov. Computable functionals of finite types , 1972 .
[28] C. Kreitz,et al. Complexity theory on real numbers and functions , 1983 .
[29] A. Grzegorczyk. On the definitions of computable real continuous functions , 1957 .
[30] Thomas A. Henzinger,et al. Reachability Verification for Hybrid Automata , 1998, HSCC.
[31] Anil Nerode,et al. Models for Hybrid Systems: Automata, Topologies, Controllability, Observability , 1992, Hybrid Systems.
[32] Abbas Edalat,et al. A Domain-Theoretic Approach to Computability on the Real Line , 1999, Theor. Comput. Sci..
[33] K. Hofmann,et al. A Compendium of Continuous Lattices , 1980 .
[34] Samson Abramsky,et al. Domain theory , 1995, LICS 1995.
[35] Eric Schechter,et al. Handbook of Analysis and Its Foundations , 1996 .
[36] Yiannis N. Moschovakis,et al. Abstract first order computability. II , 1969 .
[37] Oleg V. Kudinov,et al. Characteristic Properties of Majorant-Computability over the Reals , 1998, CSL.
[38] Martín Hötzel Escardó,et al. PCF extended with real numbers : a domain-theoretic approach to higher-order exact real number computation , 1997 .