Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Savateev, Yury
17  Ergebnisse:
Personensuche X
?
1

ESPRESSO: A Framework for Empowering Search on Decentralize..:

, In: Web Information Systems Engineering – WISE 2023; Lecture Notes in Computer Science,
Ragab, Mohamed ; Savateev, Yury ; Moosaei, Reza... - p. 360-375 , 2023
Link: https://doi.org/10.1007/..
 
?
2

Deciding FO-definability of Regular Languages:

, In: Relational and Algebraic Methods in Computer Science; Lecture Notes in Computer Science,
Kurucz, Agi ; Ryzhikov, Vladislav ; Savateev, Yury. - p. 241-257 , 2021
Link: https://doi.org/10.1007/..
 
?
3

NON-WELL-FOUNDED PROOFS FOR THE GRZEGORCZYK MODAL LOGIC:

SAVATEEV, YURY ; SHAMKANOV, DANIYAR
The Review of Symbolic Logic.  14 (2020)  1 - p. 22-50 , 2020
Link: https://doi.org/10.1017/..
 
?
4

Cut Elimination for the Weak Modal Grzegorczyk Logic via No..:

, In: Logic, Language, Information, and Computation; Lecture Notes in Computer Science,
Savateev, Yury ; Shamkanov, Daniyar - p. 569-583 , 2019
Link: https://doi.org/10.1007/..
 
?
5

Proof internalization in generalized Frege systems for clas..:

Savateev, Yury
Annals of Pure and Applied Logic.  165 (2014)  1 - p. 340-356 , 2014
Link: https://doi.org/10.1016/..
 
?
6

Product-free Lambek calculus is NP-complete:

Savateev, Yury
Annals of Pure and Applied Logic.  163 (2012)  7 - p. 775-788 , 2012
Link: https://doi.org/10.1016/..
 
?
7

Unidirectional Lambek Grammars in Polynomial Time:

Savateev, Yury
Theory of Computing Systems.  46 (2009)  4 - p. 662-672 , 2009
Link: https://doi.org/10.1007/..
 
?
8

Reverse Engineering of Temporal Queries Mediated by LTL Ont..:

Fortin, Marie ; Konev, Boris ; Ryzhikov, Vladislav...
http://arxiv.org/abs/2305.01248.  , 2023
Link: http://arxiv.org/abs/230..
 
?
9

Deciding FO-rewritability of regular languages and ontology..:

Kurucz, Agi ; Ryzhikov, Vladislav ; Savateev, Yury.
http://arxiv.org/abs/2207.06210.  , 2022
Link: http://arxiv.org/abs/220..
 
?
10

Unique Characterisability and Learnability of Temporal Inst..:

Fortin, Marie ; Konev, Boris ; Ryzhikov, Vladislav...
http://arxiv.org/abs/2205.01651.  , 2022
Link: http://arxiv.org/abs/220..
 
?
11

Deciding FO-rewritability of ontology-mediated queries in l..:

Ryzhikov, Vladislav ; Savateev, Yury ; Zakhariyashchev, Michael
https://eprints.bbk.ac.uk/id/eprint/46963/1/LIPIcs-TIME-2021-10.pdf.  , 2021
Link: https://eprints.bbk.ac.u..
 
?
12

Deciding FO-Rewritability of Ontology-Mediated Queries in L..:

Ryzhikov, Vladislav ; Savateev, Yury ; Zakharyaschev, Michael
doi:10.4230/LIPIcs.TIME.2021.10.  , 2021
Link: https://doi.org/10.4230/..
 
?
13

Deciding FO-definability of regular languages:

Kurucz, Agi ; Ryzhikov, Vladislav ; Savateev, Yury.
http://arxiv.org/abs/2105.06202.  , 2021
Link: http://arxiv.org/abs/210..
 
?
14

Non-Well-Founded Proofs for the Grzegorczyk Modal Logic:

Savateev, Yury ; Shamkanov, Daniyar
http://arxiv.org/abs/1804.00955.  , 2018
Link: http://arxiv.org/abs/180..
 
?
15

Cut Elimination for Weak Modal Grzegorczyk Logic via Non-We..:

Savateev, Yury ; Shamkanov, Daniyar
http://arxiv.org/abs/1804.01432.  , 2018
Link: http://arxiv.org/abs/180..
 
1-15