( en | de | ru )

 

Disambiguation of "Gazda, Maciej"

Author of the publication

copydeleteadd this publication to your clipboard
On Parity Game Preorders and the Logic of Matching Plays.

, and . SOFSEM, volume 9587 of Lecture Notes in Computer Science, page 277-289. Springer, (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Klaus Gazda

Evelyn Gazda

Emerich Mihai Gazdag

Aban Gazdar

Maciej Wojnowski

 

Other publications of authors with the same name

Conformance-Based Doping Detection for Cyber-Physical Systems., , , , and . FORTE, volume 12136 of Lecture Notes in Computer Science, page 59-77. Springer, (2020)Zielonka's Recursive Algorithm: dull, weak and solitaire games and tighter bounds., and . GandALF, volume 119 of EPTCS, page 7-20. (2013)Consistent Consequence for Boolean Equation Systems., and . SOFSEM, volume 7147 of Lecture Notes in Computer Science, page 277-288. Springer, (2012)Congruence from the operator's point of view., , and . Acta Informatica, 57 (3-5): 329-351 (2020)Improvement in Small Progress Measures., and . GandALF, volume 193 of EPTCS, page 158-171. (2015)Logical Characterisation of Hybrid Conformance., and . ICALP, volume 168 of LIPIcs, page 130:1-130:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)Strategy Derivation for Small Progress Measures., and . CoRR, (2014)On Parity Game Preorders and the Logic of Matching Plays., and . SOFSEM, volume 9587 of Lecture Notes in Computer Science, page 277-289. Springer, (2016)Conformance Relations and Hyperproperties for Doping Detection in Time and Space., , , , , , and . CoRR, (2020)Removing Redundant Refusals: Minimal Complete Test Suites for Failure Trace Semantics., and . LICS, page 1-13. IEEE, (2021)