Mechanical Analysis of Finite Idempotent Relations
暂无分享,去创建一个
[1] Gregor Engels,et al. Quasar Enterprise - Anwendungslandschaften serviceorientiert gestalten , 2008, Software Engineering.
[2] J. Schwartz,et al. Linear Operators. Part I: General Theory. , 1960 .
[3] Florian Kammüller,et al. On the antisymmetry of Galois embeddings , 2001, Inf. Process. Lett..
[4] Lawrence Charles Paulson,et al. Isabelle: A Generic Theorem Prover , 1994 .
[5] F. Smithies. Linear Operators , 2019, Nature.
[6] C. A. R. Hoare,et al. Data Refinement Refined , 1986, ESOP.
[7] Jeffrey Adams,et al. Representation Theory of Groups and Algebras , 1993 .
[8] Florian Kammller. Interactive Theorem Proving in Software Engineering , 2008 .
[9] Brian A. Davey,et al. Introduction to Lattices and Order, Second Edition , 2002 .
[10] G. Ireland,et al. Counting Transitive Relations , 2004 .
[11] Brian A. Davey,et al. Introduction to Lattices and Order: Preface to the second edition , 2002 .
[12] N. J. A. Sloane,et al. The On-Line Encyclopedia of Integer Sequences , 2003, Electron. J. Comb..
[13] Götz Pfeiffer,et al. Counting Transitive Relations , 2004 .
[14] Florian Kammüller,et al. Idempotent Relations in Isabelle/HOL , 2004, ICTAC.
[15] Lawrence C. Paulson,et al. Isabelle: The Next 700 Theorem Provers , 2000, ArXiv.
[16] Florian Kammüller,et al. Locales - A Sectioning Concept for Isabelle , 1999, TPHOLs.
[17] Brian A. Davey,et al. An Introduction to Lattices and Order , 1989 .
[18] Brendan D. McKay,et al. Posets on up to 16 Points , 2002, Order.