scientific article; zbMATH DE number 3941556
From MaRDI portal
Publication:3714092
Recommendations
- scientific article; zbMATH DE number 107769
- On the Performance of Axiom Systems
- A system for axiomatic programming
- scientific article; zbMATH DE number 4134285
- scientific article; zbMATH DE number 517088
- scientific article; zbMATH DE number 1183239
- scientific article; zbMATH DE number 2185725
- Axiomatic System, Deduction and Implication
- Axioms of an experimental system
Cited in
(10)- A support theorem for the Hitchin fibration: the case of \(\operatorname{GL}_n\) and \(K_C\)
- Constructions of new \(q\)-cryptomorphisms
- \(K\)-classes for matroids and equivariant localization
- New inequalities for subspace arrangements
- The lattices of closure systems, closure operators, and implicational systems on a finite set: A survey
- scientific article; zbMATH DE number 107769 (Why is no real title available?)
- PQ axiverse
- Axioms of an experimental system
- On D-complementation
- scientific article; zbMATH DE number 67321 (Why is no real title available?)
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 Q3714092)