Skip to main navigation
Skip to search
Skip to main content
Tampere University Research Portal Home
Help & FAQ
English
Suomi
Home
Profiles
Research outputs
Research units
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
26 Jun 2012
Event title
Twenty-Seventh Annual ACM/IEEE Symposium on Logic in Computer Science
Event type
Other
Degree of Recognition
International
X