Repository of University of Nova Gorica

Show document
A+ | A- | Help | SLO | ENG

Title:Structures for relative quantifier elimination in valued fields
Authors:ID Linzi, Alessandro (Author)
Files:URL https://events.illc.uva.nl/Logic4Peace/uploaded_files/inlineitem/Logic4Peace_Book_of_Abstracts.pdf
 
Language:English
Work type:Unknown
Typology:1.12 - Published Scientific Conference Contribution Abstract
Organization:UNG - University of Nova Gorica
Keywords:quantifier elimination, model theory, valued field
Place of performance:University of Amsterdam (online event)
Year of publishing:2022
Number of pages:Str. 40
PID:20.500.12556/RUNG-7645 New window
COBISS.SI-ID:124761347 New window
UDC:51
NUK URN:URN:SI:UNG:REP:4YAJULEI
Publication date in RUNG:07.10.2022
Views:1521
Downloads:5
Metadata:XML RDF-CHPDL DC-XML DC-RDF
:
Copy citation
  
Average score:(0 votes)
Your score:Voting is allowed only for logged in users.
Share:Bookmark and Share


Hover the mouse pointer over a document title to show the abstract or click on the title to get all document metadata.

Record is a part of a monograph

Title:Logic4Peace : fundraising online logic event for peace, April 22-23, 2022
Editors:Malvin Gattinger
Place of publishing:Amsterdam
Publisher:Universiteit van Amsterdam
Year of publishing:2022
COBISS.SI-ID:124759555 New window

Back