Your browser does not allow JavaScript!
JavaScript is necessary for the proper functioning of this website. Please enable JavaScript or use a modern browser.
University of Nova Gorica
University
Study
Research
Repository of University of Nova Gorica
About
Search
Browse
Statistics
Login
Show document
A+
|
A-
|
|
SLO
|
ENG
Title:
Structures for quantifier elimination in valued fields
Authors:
ID
Linzi, Alessandro
(Author)
Files:
This document has no files that are freely available to the public. This document may have a physical copy in the library of the organization, check the status via
COBISS.
Language:
English
Work type:
Not categorized
Typology:
3.15 - Unpublished Conference Contribution
Organization:
UNG - University of Nova Gorica
Keywords:
quantifier elimination
,
model theory
,
valued field
,
hyperfield
Place of performance:
Szczecin (Poland)
Year of performance:
2022
PID:
20.500.12556/RUNG-7651
COBISS.SI-ID:
124818947
NUK URN:
URN:SI:UNG:REP:9F9QCLHF
Publication date in RUNG:
10.10.2022
Views:
1785
Downloads:
0
Metadata:
Cite this work
Plain text
BibTeX
EndNote XML
EndNote/Refer
RIS
ABNT
ACM Ref
AMA
APA
Chicago 17th Author-Date
Harvard
IEEE
ISO 690
MLA
Vancouver
:
Copy citation
Average score:
(0 votes)
Your score:
Voting is allowed only for
logged in
users.
Share:
Hover the mouse pointer over a document title to show the abstract or click on the title to get all document metadata.
Back