Formalized Mathematics, 2012, Volume 20, Issue 3
: [8]
Strona glówna kolekcji
Zobacz statystyki
Spis treści/Content
- Schlöder, Julian J. / Koepke, Peter
Transition of Consistency and Satisfiability under Language Extensions - Schlöder, Julian J. / Koepke, Peter
The Gödel Completeness Theorem for Uncountable Languages - Futa, Yuichi / Okazaki, Hiroyuki / Shidama, Yasunari
Quotient Module of Z-module - Giero, Mariusz
The Derivations of Temporal Logic Formulas - Giero, Mariusz
The Properties of Sets of Temporal Logic Subformulas - Giero, Mariusz
Weak Completeness Theorem for Propositional Linear Time Temporal Logic - Pąk, Karol
The Friendship Theorem - Bancerek, Grzegorz
Free Term Algebras
Przeglądaj
Collection's Items (Sortowane przez Data zamieszczenia w Malejąco kolejnośi): 1 do 8 z 8
Data wydania | Tytuł | Autor(rzy) | Promotor | Redaktor(rzy) |
---|---|---|---|---|
2012 | Free Term Algebras | Bancerek, Grzegorz | - | - |
2012 | Weak Completeness Theorem for Propositional Linear Time Temporal Logic | Giero, Mariusz | - | - |
2012 | The Friendship Theorem | Pąk, Karol | - | - |
2012 | The Gödel Completeness Theorem for Uncountable Languages | Schlöder, Julian J.; Koepke, Peter | - | - |
2012 | Transition of Consistency and Satisfiability under Language Extensions | Schlöder, Julian J.; Koepke, Peter | - | - |
2012 | The Properties of Sets of Temporal Logic Subformulas | Giero, Mariusz | - | - |
2012 | Quotient Module of Z-module | Futa, Yuichi; Okazaki, Hiroyuki; Shidama, Yasunari | - | - |
2012 | The Derivations of Temporal Logic Formulas | Giero, Mariusz | - | - |
Collection's Items (Sortowane przez Data zamieszczenia w Malejąco kolejnośi): 1 do 8 z 8