A backwards theorem prover with focusing, resource management and constraints for robotic planning within intuitionistic linear logic

---

Tezin Türü: Yüksek Lisans

Tezin Yürütüldüğü Kurum: Bilkent Üniversitesi, Türkiye

Tezin Onay Tarihi: 2010

Öğrenci: SITAR KORTİK

Danışman: ULUÇ SARANLI