Disciplines Institutions Contribute Search
Add Thesis Add Researcher Add Institution
researcher / Patrick Blackburn

Patrick Blackburn

at_id:

orcid_id:

Disciplines:

Computer sciences
Edit Merge See Links

Directed Thesis:

Tâches de raisonnement en logiques hybrides
Implicature as an interactive process
Modal memory logics
Automated reasoning techniques for hybrid logics
Automatisation de la Construction Sémantique dans le Lambda Calcul Simplement Typé avec plusieurs Types de base