scientific article; zbMATH DE number 7649979

DOI10.4230/LIPIcs.ITP.2019.30MaRDI QIDQ5875442

Akihisa Yamada, Jérémy Dubut

Publication date: 3 February 2023

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

lattice theoryfixed-pointsorder theoryIsabelle/HOL

Mathematics Subject Classification ID

Related Items (1)

Unnamed Item

Uses Software

• Nitpick
• Isabelle/HOL
• PIDE
• Isabelle/jEdit
• Sledgehammer
• seL4
• kepler98

Cites Work

• An invitation to general algebra and universal constructions.
• Posets and generalized lattices
• Isabelle/HOL. A proof assistant for higher-order logic
• Trellis theory
• A lattice-theoretical fixpoint theorem and its applications
• Isabelle/jEdit – A Prover IDE within the PIDE Framework
• Weak chain-completeness and fixed point property for pseudo-ordered sets
• Continuous Lattices and Domains
• A FORMAL PROOF OF THE KEPLER CONJECTURE
• Fixed points and common fixed points theorems in pseudo-ordered sets
• Nitpick: A Counterexample Generator for Higher-Order Logic Based on a Relational Model Finder
• Sledgehammer: Judgement Day
• Interpretation of Locales in Isabelle: Theories and Proof Contexts
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: