Definable valuations induced by multiplicative subgroups and NIP fields.

Katharina Dupont Assaf Hasson Salma Kuhlmann

Published in: Arch. Math. Log. (2019)

Keyphrases

first order logic
database
genetic algorithm
computer vision
case study
expert systems
special case
answer sets
combinatorial auctions
mechanism design