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

---

Thesis Type: Postgraduate

Institution Of The Thesis: Bilkent Üniversitesi, Turkey

Approval Date: 2010

Student: SITAR KORTİK

Supervisor: ULUÇ SARANLI