Przeglądaj przez Autor Giero, Mariusz
Pokazuję rezultaty 2 do 7 z 7
< Porzedni
Data wydania | Tytuł | Autor(rzy) | Promotor | Redaktor(rzy) |
---|---|---|---|---|
2011 | The Axiomatization of Propositional Linear Time Temporal Logic | Giero, Mariusz | - | - |
2016 | The Axiomatization of Propositional Logic | Giero, Mariusz | - | - |
2012 | The Derivations of Temporal Logic Formulas | Giero, Mariusz | - | - |
2014 | The Formalization of Decision-Free Petri Net | Shah, Pratima K.; Kawamoto, Pauline N.; Giero, Mariusz | - | - |
2012 | The Properties of Sets of Temporal Logic Subformulas | Giero, Mariusz | - | - |
2012 | Weak Completeness Theorem for Propositional Linear Time Temporal Logic | Giero, Mariusz | - | - |