Formalized Mathematics, 2015, Volume 23, Issue 4
: [10]
Strona glówna kolekcji
Zobacz statystyki
Spis treści/Content
- Coghetto, Roland
Summable Family in a Commutative Group - Coghetto, Roland
Topology from Neighbourhoods - Futa, Yuichi / Okazaki, Hiroyuki / Shidama, Yasunari
Torsion Part of ℤ-module - Endou, Noboru
Construction of Measure from Semialgebra of Sets - Ivanov, Ievgen / Nikitchenko, Mykola / Abraham, Uri
Event-Based Proof of the Mutual Exclusion Property of Peterson’s Algorithm - Schwarzweller, Christoph / Korniłowicz, Artur
Characteristic of Rings. Prime Fields - Riccardi, Marco
Exponential Objects - Okazaki, Hiroyuki
Algebra of Polynomially Bounded Sequences and Negligible Functions - Giero, Mariusz
Propositional Linear Temporal Logic with Initial Validity Semantics - Grabowski, Adam
Stone Lattices
Przeglądaj
Collection's Items (Sortowane przez Data zamieszczenia w Malejąco kolejnośi): 1 do 10 z 10
Data wydania | Tytuł | Autor(rzy) | Promotor | Redaktor(rzy) |
---|---|---|---|---|
2015 | Algebra of Polynomially Bounded Sequences and Negligible Functions | Okazaki, Hiroyuki | - | - |
2015 | Propositional Linear Temporal Logic with Initial Validity Semantics | Giero, Mariusz | - | - |
2015 | Construction of Measure from Semialgebra of Sets | Endou, Noboru | - | - |
2015 | Exponential Objects | Riccardi, Marco | - | - |
2015 | Event-Based Proof of the Mutual Exclusion Property of Peterson’s Algorithm | Ivanov, Ievgen; Nikitchenko, Mykola; Abraham, Uri | - | - |
2015 | Characteristic of Rings. Prime Fields | Schwarzweller, Christoph; Korniłowicz, Artur | - | - |
2015 | Topology from Neighbourhoods | Coghetto, Roland | - | - |
2015 | Torsion Part of ℤ-module | Futa, Yuichi; Okazaki, Hiroyuki; Shidama, Yasunari | - | - |
2015 | Stone Lattices | Grabowski, Adam | - | - |
2015 | Summable Family in a Commutative Group | Coghetto, Roland | - | - |
Collection's Items (Sortowane przez Data zamieszczenia w Malejąco kolejnośi): 1 do 10 z 10