 | 2012 |
|---|
| 7 |       | Jakub Michaliszyn,
Anca Muscholl,
Slawek Staworko,
Piotr Wieczorek,
Zhilin Wu:
On Injective Embeddings of Tree Patterns
CoRR abs/1204.4948: (2012) |
| 2011 |
|---|
| 6 | | Emanuel Kieronski,
Jakub Michaliszyn,
Jan Otop:
Modal Logics Definable by Universal Three-Variable Formulas.
FSTTCS 2011: 264-275 |
| 5 | | Jerzy Marcinkowski,
Jakub Michaliszyn:
The Ultimate Undecidability Result for the Halpern-Shoham Logic.
LICS 2011: 377-386 |
| 2010 |
|---|
| 4 | | Jerzy Marcinkowski,
Jakub Michaliszyn,
Emanuel Kieronski:
B and D Are Enough to Make the Halpern-Shoham Logic Undecidable.
ICALP (2) 2010: 357-368 |
| 3 | | Jerzy Marcinkowski,
Jakub Michaliszyn:
The Last Paper on the Halpern-Shoham Interval Temporal Logic
CoRR abs/1010.4529: (2010) |
| 2009 |
|---|
| 2 | | Jakub Michaliszyn:
Decidability of the Guarded Fragment with the Transitive Closure.
ICALP (2) 2009: 261-272 |
| 1 | | Jerzy Marcinkowski,
Jakub Michaliszyn:
The cost of being co-Buchi is nonlinear
CoRR abs/0906.0072: (2009) |
Data released under the ODC-BY 1.0 license — See also our legal information page