Formalized Mathematics - Tom 20, Numer 3 (2012) - 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

2012

Tom

20

Numer

3

Identyfikatory

Okładka

Zawartość wolumenu

3
- artykuł: Transition of Consistency and Satisfiability under Language Extensions (Schlöder J. J., Koepke P.), s. 193-197
- artykuł: The Gödel Completeness Theorem for Uncountable Languages (Schlöder J. J., Koepke P.), s. 199-203
- artykuł: Quotient Module of Z-module (Futa Y., Okazaki H., Shidama Y.), s. 205-214
- artykuł: The Derivations of Temporal Logic Formulas (Giero M.), s. 215-219
- artykuł: The Properties of Sets of Temporal Logic Subformulas (Giero M.), s. 221-226
- artykuł: Weak Completeness Theorem for Propositional Linear Time Temporal Logic (Giero M.), s. 227-234
- artykuł: The Friendship Theorem (Pąk K.), s. 235-237
- artykuł: Free Term Algebras (Bancerek G.), s. 239-256

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ć.