We stand with Ukraine  

Mariusz Giero

According to our database1, Mariusz Giero authored at least 7 papers between 2011 and 2016.

Collaborative distances:
  • Dijkstra number2 of six.
  • Erdős number3 of five.

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

On csauthors.net:

Bibliography

2016
The Axiomatization of Propositional Logic.
[BibTeX]
[DOI]
Mariusz Giero
Formaliz. Math., 2016

2015
Propositional Linear Temporal Logic with Initial Validity Semantics1.
[BibTeX]
[DOI]
Mariusz Giero
Formaliz. Math., 2015

2014
The Formalization of Decision-Free Petri Net.
[BibTeX]
[DOI]
Pratima K. Shah
,
Pauline N. Kawamoto
,
Mariusz Giero
Formaliz. Math., 2014

2012
Weak Completeness Theorem for Propositional Linear Time Temporal Logic.
[BibTeX]
[DOI]
Mariusz Giero
Formaliz. Math., 2012

The Properties of Sets of Temporal Logic Subformulas.
[BibTeX]
[DOI]
Mariusz Giero
Formaliz. Math., 2012

The Derivations of Temporal Logic Formulas.
[BibTeX]
[DOI]
Mariusz Giero
Formaliz. Math., 2012

2011
The Axiomatization of Propositional Linear Time Temporal Logic.
[BibTeX]
[DOI]
Mariusz Giero
Formaliz. Math., 2011


  Loading...