Show document

A+ | A- | | SLO | ENG

Title: Structures for relative quantifier elimination in valued fields Authors: ID Linzi, Alessandro (Author) Files: 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  COBISS.SI-ID: 124761347  UDC: 51 NUK URN: URN:SI:UNG:REP:4YAJULEI Publication date in RUNG: 07.10.2022 Views: 1168 Downloads: 5 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.

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

Back