Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.

Mariusz Giero

2010 – today

see FAQ

What is the meaning of the colors in the publication list?

2012
[j4]
- view
  - electronic edition @ degruyter.com
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/fm/Giero12
- ask others
Mariusz Giero: The Derivations of Temporal Logic Formulas. Formalized Mathematics 20(3): 215-219 (2012)
[j3]
- view
  - electronic edition @ degruyter.com
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/fm/Giero12a
- ask others
Mariusz Giero: The Properties of Sets of Temporal Logic Subformulas. Formalized Mathematics 20(3): 221-226 (2012)
[j2]
- view
  - electronic edition @ degruyter.com
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/fm/Giero12b
- ask others
Mariusz Giero: Weak Completeness Theorem for Propositional Linear Time Temporal Logic. Formalized Mathematics 20(3): 227-234 (2012)
2011
[j1]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/fm/Giero11
- ask others
Mariusz Giero: The Axiomatization of Propositional Linear Time Temporal Logic. Formalized Mathematics 19(2): 113-119 (2011)