Skip to main navigation
Skip to search
Skip to main content
Utrecht University Home
Help & FAQ
Home
People
Research units
Research output
Activities
In the media
Prizes & Grants
Search by expertise, name or affiliation
Hypersequent calculi for admissibility
Iemhoff, R.
(Invited speaker)
Activity
:
Talk or presentation
›
Invited talk
›
Popular
Period
5 Jan 2009
Event title
Symposium on Logical Foundations of Computer Science (Deerfield Beach, Florida, USA)
Event type
Seminar
X