On generalizations of real induction

MaRDI QIDQ6976555zbMATH OpenFDO

Authors Ievgen Ivanov

Publication date 2 June 2025

zbMATH Keywords

formal methodsinductionpartial orderreal induction

Mathematics Subject Classification ID

Combinatorics of partially ordered sets (06A07) Specification and verification (program logics, model checking, etc.) (68Q60)

This page was built for publication: On generalizations of real induction

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