( en | de | ru )

 

Disambiguation of "Witkowski, Piotr"

Author of the publication

copydeleteadd this publication to your clipboard
Satisfiability vs. Finite Satisfiability in Elementary Modal Logics

, , and . GandALF, volume 96 of EPTCS, page 141-154. (2012)

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.

Regine Witkowski

Helmut Witkowski

Werner Witkowski

Thomas Witkowski

Peter Witkowski

 

Other publications of authors with the same name

Improvement of Baro Sensors Matrix for Altitude Estimation., , , , , , , and . Sensors, 22 (18): 7060 (2022)Completing the Picture: Complexity of Graded Modal Logics with Converse., , and . Theory Pract. Log. Program., 21 (4): 493-520 (2021)Two-variable First-Order Logic with Counting in Forests., , , and . LPAR, volume 57 of EPiC Series in Computing, page 214-232. EasyChair, (2018)Two-variable Logic with Counting and a Linear Order., and . Logical Methods in Computer Science, (2016)Calibration of photomultipliers gain used in the J-PET detector., , , , , , , , , and 20 other author(s). Bio-Algorithms and Med-Systems, 10 (1): 13-17 (2014)Simulations of γ quanta scattering in a single module of the J-PET detector., , , , , , , , , and 20 other author(s). Bio-Algorithms and Med-Systems, 10 (2): 71-77 (2014)A Note on C² Interpreted over Finite Data-Words., and . TIME, volume 178 of LIPIcs, page 17:1-17:14. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)On the Complexity of Graded Modal Logics with Converse., , and . JELIA, volume 11468 of Lecture Notes in Computer Science, page 642-658. Springer, (2019)Determination of the map of efficiency of the Jagiellonian Positron Emission Tomograph (J-PET) detector with the GATE package., , , , , , , , , and 20 other author(s). Bio-Algorithms and Med-Systems, 10 (2): 85-90 (2014)Two-variable Logic with Counting and a Linear Order., and . CSL, volume 41 of LIPIcs, page 631-647. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2015)