Repozitorij Univerze v Novi Gorici

Izpis gradiva
A+ | A- | Pomoč | SLO | ENG

Naslov:Structures for relative quantifier elimination in valued fields
Avtorji:ID Linzi, Alessandro (Avtor)
Datoteke:URL https://events.illc.uva.nl/Logic4Peace/uploaded_files/inlineitem/Logic4Peace_Book_of_Abstracts.pdf
 
Jezik:Angleški jezik
Vrsta gradiva:Neznano
Tipologija:1.12 - Objavljeni povzetek znanstvenega prispevka na konferenci
Organizacija:UNG - Univerza v Novi Gorici
Ključne besede:quantifier elimination, model theory, valued field
Kraj izvedbe:University of Amsterdam (online event)
Leto izida:2022
Št. strani:Str. 40
PID:20.500.12556/RUNG-7645 Novo okno
COBISS.SI-ID:124761347 Novo okno
UDK:51
NUK URN:URN:SI:UNG:REP:4YAJULEI
Datum objave v RUNG:07.10.2022
Število ogledov:608
Število prenosov:4
Metapodatki:XML RDF-CHPDL DC-XML DC-RDF
:
Kopiraj citat
  
Skupna ocena:(0 glasov)
Vaša ocena:Ocenjevanje je dovoljeno samo prijavljenim uporabnikom.
Objavi na:Bookmark and Share

Postavite miškin kazalec na naslov za izpis povzetka. Klik na naslov izpiše podrobnosti ali sproži prenos.

Gradivo je del monografije

Naslov:Logic4Peace
Podnaslov:fundraising online logic event for peace, April 22-23, 2022
Uredniki:Malvin Gattinger
Kraj izida:Amsterdam
Založnik:Universiteit van Amsterdam
Leto izida:2022
COBISS.SI-ID:124759555 Novo okno

Nazaj