Polychronous RSS in a Process-Algebraic Framework - A Case Study. - Paolo Crisafulli; Adrien Durier; Benjamin Puyobro; Burkhart Wolff (ABZ, 2025)

Definition and Elementary Properties of Ultrametric Spaces. - Benoît Ballenghien; Benjamin Puyobro; Burkhart Wolff (Arch. Formal Proofs, 2025)

Restriction Spaces: a Fixed-Point Theory. - Benoît Ballenghien; Benjamin Puyobro; Burkhart Wolff (Arch. Formal Proofs, 2025)

Examples of Restriction Spaces. - Benoît Ballenghien; Benjamin Puyobro; Burkhart Wolff (Arch. Formal Proofs, 2025)

Ultrametric Structure for Restriction Spaces. - Benoît Ballenghien; Benjamin Puyobro; Burkhart Wolff (Arch. Formal Proofs, 2025)

Morley's Theorem. - Benjamin Puyobro (Arch. Formal Proofs, 2025)

A Proof of Hilbert Basis Theorem and an Extension to Formal Power Series. - Benjamin Puyobro; Benoît Ballenghien; Burkhart Wolff (Arch. Formal Proofs, 2025)