Author:
Sertkaya Barış,Oğuztüzün Halit
Publisher
Springer Berlin Heidelberg
Reference18 articles.
1. Lecture Notes in Computer Science;S. Berghofer,2003
2. Davey, B.A., Priestley, H.A.: Introduction to lattices and order, 2nd edn. Cambridge University Press, Cambridge (2002)
3. Ganter, B., Wille, R.: Applied lattice theory: formal concept analysis (1997), http://www.math.tu-dresden.de/~ganter/concept.ps
4. Ganter, B., Wille, R.: Formal concept analysis—Mathematical foundations. Springer, Heidelberg (1999)
5. Kammueller, F.: Theory Tarski (1999), http://isabelle.in.tum.de/library/HOL/ex/Tarski.html
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. FPGA Formal Verification: A Local Logic Correctness Approach;2023 Congress in Computer Science, Computer Engineering, & Applied Computing (CSCE);2023-07-24
2. Proof of the Basic Theorem on Concept Lattices in Isabelle/HOL;Lecture Notes in Computer Science;2004