Jorge I. Guier

dblp:09/4971 · DBLP profile ↗
← Back
2ranked-venue papers
2as first author
1since 2021 · last 2025
0000-0002-4453-2434ORCID · corroborated

Domains — the database's venue-derived domains; a paper can count in several

Theory of computation · 2 · 2 first-author · 1 since 2021
YearPublicationVenuePosition
2025 Elimination of quantifiers for a theory of real closed rings
Jorge I. Guier
Ann. Pure Appl. Log.1
2001 Boolean products of real closed valuation rings and fields
Jorge I. Guier
Ann. Pure Appl. Log.1