Affordable Access

Undecidable First-Order Theories of Affine Geometries

Authors
Type
Published Article
Publication Date
Submission Date
Identifiers
arXiv ID: 1310.8200
Source
arXiv
External links

Abstract

Statistics

Seen <100 times