A Calculational Approach to Mathematical Induction
暂无分享,去创建一个
Roland Carl Backhouse | Jaap van der Woude | Henk Doornbos | R. Backhouse | Henk Doornbos | J. V. D. Woude
[1] Gunther Schmidt,et al. Relations and Graphs: Discrete Mathematics for Computer Scientists , 1993 .
[2] Arto Salomaa,et al. Two Complete Axiom Systems for the Algebra of Regular Events , 1966, JACM.
[3] J. Conway. Regular algebra and finite machines , 1971 .
[4] Nachum Dershowitz,et al. Commutation, Transformation, and Termination , 1986, CADE.
[5] Roland Carl Backhouse,et al. Demonic operators and monotype factors , 1993, Mathematical Structures in Computer Science.
[6] Brian A. Davey,et al. An Introduction to Lattices and Order , 1989 .
[7] W. H. Feijen. Exercises in formula manipulation , 1989 .
[8] Edsger W. Dijkstra,et al. Formal Development of Programs and Proofs , 1990 .
[9] Roland Carl Backhouse,et al. Induction and Recursion on Datatypes , 1995, MPC.
[10] M. Newman. On Theories with a Combinatorial Definition of "Equivalence" , 1942 .
[11] Roland Carl Backhouse,et al. Fixed-Point Calculus , 1995, Inf. Process. Lett..
[12] R. Backhouse,et al. Regular Algebra Applied to Path-finding Problems , 1975 .
[13] Alfons Geser,et al. Relative Termination , 1990 .
[14] J. J. Ba mer. On the use of relation algebra in the theory of reduction systems , 1992 .
[15] Jan Willem Klop,et al. Term rewriting systems: a tutorial , 1987 .
[16] Roland Carl Backhouse,et al. A relational theory of datatypes , 1992 .
[17] R. P. Dilworth. Non-Commutative Residuated Lattices , 1939 .
[18] Gerard Huet,et al. Conflunt reductions: Abstract properties and applications to term rewriting systems , 1977, 18th Annual Symposium on Foundations of Computer Science (sfcs 1977).
[19] A. Tarski,et al. A Formalization Of Set Theory Without Variables , 1987 .
[20] J. Riguet,et al. Relations binaires, fermetures, correspondances de Galois , 1948 .
[21] Andre Scedrov,et al. Categories, allegories , 1990, North-Holland mathematical library.
[22] Gérard P. Huet,et al. Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems , 1980, J. ACM.