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

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/..
 
?
2

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/..
 
?
3

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/..
 
?
4

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/..
 
1-4