Proof theory of semi-substructural logics = Pool-allstruktuursete loogikate tõestusteooria
author
Wan, Cheng-Syuan
supervisor
Uustalu, Tarmo
author
supervisor
Veltri, Niccolo
statement of authorship
Cheng-Syuan Wan ; [supervisor: Tarmo Uustalu, co-supervisor: Niccolò Veltri ; Tallinn University of Technology, School of Information Technologies, Department of Software Science]
type of dissertation
doktoritöö
university/scientific institution
Tallinna Tehnikaülikool
location of publication
Tallinn
publisher
TalTech Press
year of publication
2025
pages
163 p
series
Tallinn University of Technology. Doctoral thesis = Tallinna Tehnikaülikool. Doktoritöö ; 43/2025
subject term
tõestuste teooria
loogiline programmeerimine
subject of form
doktoritööd
ISSN
2585-6898
2585-6901 (PDF)
ISBN
978-9916-80-325-7 (PDF)
978-9916-80-324-0
notes
Autori publikatsioonide nimekiri leheküljel 7
Bibliogr. lk. 145-150
Kokkuvõte eesti keeles
Kättesaadav ka võrguteavikuna
Autori CV inglise ja eesti keeles, lk. 157-163
Thesis (Ph.D. (Information Technology)) : Tallinn University of Technology, 2025
url
https://digikogu.taltech.ee/et/Item/34f5f36e-f48f-400b-bca1-2a59ac30c392
https://www.ester.ee/record=b5752421*est
https://doi.org/10.23658/taltech.43/2025
Open Access
Open Access
scientific publication
teaduspublikatsioon
classifier
2.3
TalTech department
tarkvarateaduse instituut
language
inglise