Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Michaliszyn, Jakub
6  Ergebnisse:
Artikel (Online) X
Personensuche X
?
1

Learning infinite-word automata with loop-index queries:

Michaliszyn, Jakub ; Otop, Jan
Artificial Intelligence.  307 (2022)  - p. 103710 , 2022
Link: https://doi.org/10.1016/..
 
?
2

Modular Path Queries with Arithmetic:

Michaliszyn, Jakub ; Otop, Jan ; Wieczorek, Piotr
Logical Methods in Computer Science.  17, Issue 3 (2021)  - p. , 2021
Link: https://doi.org/10.46298..
 
?
3

Non-deterministic weighted automata evaluated over Markov c..:

Michaliszyn, Jakub ; Otop, Jan
Journal of Computer and System Sciences.  108 (2020)  - p. 118-136 , 2020
Link: https://doi.org/10.1016/..
 
?
4

On the Decidability of Elementary Modal Logics:

Michaliszyn, Jakub ; Otop, Jan ; Kieroński, Emanuel
ACM Transactions on Computational Logic.  17 (2015)  1 - p. 1-47 , 2015
Link: https://doi.org/10.1145/..
 
?
5

On the Decidability of Elementary Modal Logics:

Michaliszyn, Jakub ; Otop, Jan ; Kieroński, Emanuel
ACM Transactions on Computational Logic (TOCL).  17 (2015)  1 - p. 1-47 , 2015
Link: https://dl.acm.org/doi/1..
 
?
6

Two-Variable First-Order Logic with Equivalence Closure:

Kieroński, Emanuel ; Michaliszyn, Jakub ; Pratt-Hartmann, Ian.
SIAM Journal on Computing.  43 (2014)  3 - p. 1012-1063 , 2014
Link: https://doi.org/10.1137/..
 
1-6