Skip To Content
Cookies help us deliver our services. By using our services, you agree to our use of cookies.
OK
Job Offers
Press Review
Dialectica
Our Research
D
|
E
|
F
|
I
Query
Menu
philosophie.ch
swiss portal for philosophie
Philosophie.ch
Agenda
Community
Research
Ausbildung / Formation
Content
login
Language
Deutsch
Englisch
Französisch
Italienisch
Diese Seite auf Deutsch
Cette page en français
Questa pagina in italiano
Kein Profilbild | No profile picture | Utilisateur n'as pas d'image
https://www.philosophie.ch/profil/tammet
Tanel Tammet
Bibliography
Tammet
, Tanel. 1994.
“
Proof Strategies in Linear Logic
.”
Journal of Automated Reasoning
12: 273–304.
Agenda
Community
Research
Ausbildung / Formation
Content
Random article
Search