Transitive Closure and the Mechanization of Mathematics
暂无分享,去创建一个
[1] A. Avron. Theorems on strong constructibility with a compass alone , 1987 .
[2] S. Feferman. Finitary inductively presented logics , 1994 .
[3] Seán Matthews,et al. Implementing FS0 in Isabelle: Adding Structure at the Metalevel , 1996, DISCO.
[4] Yiannis N. Moschovakis,et al. Abstract recursion as a foundation for the theory of algorithms , 1984 .
[5] A. Avron. On strict strong constructibility with a compass alone , 1990 .
[6] Furio Honsell,et al. A framework for defining logics , 1993, JACM.
[7] Raymond M. Smullyan,et al. Theory of Formal Systems. (AM-47) , 1961 .
[8] Jörg Flum,et al. Finite model theory , 1995, Perspectives in Mathematical Logic.
[9] Seán Matthews. A theory and its metatheory in FS 0 , 1994 .
[10] Linda C. van der Gaag,et al. THE LazyRMS: AVOIDING WORK IN THE ATMS , 1993, Comput. Intell..
[11] Egon Börger,et al. Trends in theoretical computer science , 1988 .
[12] R. Smullyan. Theory of formal systems , 1962 .
[13] Hector J. Levesque,et al. GOLOG: A Logic Programming Language for Dynamic Domains , 1997, J. Log. Program..
[14] A. Dawar. FINITE MODEL THEORY (Perspectives in Mathematical Logic) , 1997 .
[15] Arnon Avron. An exercise in an interactive geometrical research , 2005, Annals of Mathematics and Artificial Intelligence.
[16] Alan Smaill,et al. Experience with FS 10 0 as a framework theory , 1993 .
[17] Emil L. Post. Formal Reductions of the General Combinatorial Decision Problem , 1943 .
[18] Alfred Tarski,et al. Tarski's System of Geometry , 1999, Bulletin of Symbolic Logic.
[19] Neil Immerman. Languages which capture complexity classes , 1983, STOC '83.
[20] D. Gabbay. What is a logical system , 1994 .
[21] J. R. Büchi. On a Decision Method in Restricted Second Order Arithmetic , 1990 .
[22] Ian A. Mason,et al. Using typed lambda calculus to implement formal systems on a machine , 1992, Journal of Automated Reasoning.
[23] Erich Grädel,et al. On Transitive Closure Logic , 1991, CSL.
[24] Frank Pfenning,et al. The Practice of Logical Frameworks , 1996, CAAP.