Skip to main navigation
Skip to search
Skip to main content
Tampere University Research Portal Home
Help & FAQ
English
Suomi
Home
Profiles
Research units
Research output
Activities
Datasets
Research Infrastructures
Press/Media
Prizes
Search by expertise, name or affiliation
Undecidable first-order theories of affine geometries
Kuusisto, A.
(Speaker)
Activity
:
Talk or presentation
›
Conference presentation
Description
Contributors: Antti Kuusisto
Period
3 Sept 2012
Event title
The 21st EACSL Annual Conferences on Computer Science Logic
Event type
Other
Degree of Recognition
International
X