Formalized Mathematics - Tom 23, Numer 4 (2015) - DML-PL - Yadda

Pełnotekstowe zasoby PLDML oraz innych baz dziedzinowych są już dostępne w nowej Bibliotece Nauki.
Zapraszamy na https://bibliotekanauki.pl

Numer - szczegóły

Wydawca

De Gruyter Open

Czasopismo

Formalized Mathematics

Rocznik

2015

Tom

23

Numer

4

Identyfikatory

Okładka

Zawartość wolumenu

4
- artykuł: Summable Family in a Commutative Group (Coghetto R.), s. 279-288
- artykuł: Topology from Neighbourhoods (Coghetto R.), s. 289-296
- artykuł: Torsion Part of ℤ-module (Futa Y., Okazaki H., Shidama Y.), s. 297-307
- artykuł: Construction of Measure from Semialgebra of Sets1 (Endou N.), s. 309-323
- artykuł: Event-Based Proof of the Mutual Exclusion Property of Peterson’s Algorithm (Ivanov I., Nikitchenko M., Abraham U.), s. 325-331
- artykuł: Characteristic of Rings. Prime Fields (Schwarzweller C., Korniłowicz A.), s. 333-349
- artykuł: Exponential Objects (Riccardi M.), s. 351-369
- artykuł: Algebra of Polynomially Bounded Sequences and Negligible Functions (Okazaki H.), s. 371-378
- artykuł: Propositional Linear Temporal Logic with Initial Validity Semantics1 (Giero M.), s. 379-386
- artykuł: Stone Lattices (Grabowski A.), s. 387-396

rozwiń roczniki

JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.