External Links

    Journal: Formalized Mathematics

    Volume 23, Issue 4

    279 -- 288Roland Coghetto. Summable Family in a Commutative Group
    289 -- 296Roland Coghetto. Topology from Neighbourhoods
    297 -- 307Yuichi Futa, Hiroyuki Okazaki, Yasunari Shidama. Torsion Part of ℤ-module
    309 -- 323Noboru Endou. Construction of Measure from Semialgebra of Sets1
    325 -- 331Ievgen Ivanov, Mykola Nikitchenko, Uri Abraham. Event-Based Proof of the Mutual Exclusion Property of Peterson's Algorithm
    333 -- 349Christoph Schwarzweller, Artur Kornilowicz. Characteristic of Rings. Prime Fields
    351 -- 369Marco Riccardi. Exponential Objects
    371 -- 378Hiroyuki Okazaki. Algebra of Polynomially Bounded Sequences and Negligible Functions
    379 -- 386Mariusz Giero. Propositional Linear Temporal Logic with Initial Validity Semantics1
    387 -- 396Adam Grabowski. Stone Lattices
    runs on