Publication:5875442

DOI10.4230/LIPICS.ITP.2019.30MaRDI QIDQ5875442FDOQ5875442

Akihisa Yamada, Jérémy Dubut

Publication date: 3 February 2023

Title of this publication is not available (Why is that?)

zbMATH Keywords

fixed-pointslattice theoryorder theoryIsabelle/HOL

Mathematics Subject Classification ID

Cites Work

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

Cited In (4)

• Sharkovskii order for non-wandering points
• Maximal elements, fixed points, and quasi-continuous orderings
• On non-uniqueness of the order of saturation (II)
• Title not available (Why is that?)

Uses Software

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

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5875442)