Definable Henselian Valuations.

Franziska Jahnke Jochen Koenigsmann

Published in: J. Symb. Log. (2015)

Keyphrases

answer sets
combinatorial auctions
first order logic
transitive closure
mechanism design
artificial intelligence
artificial neural networks
special case
database
social networks
pattern recognition
data analysis
situation calculus
bidding strategies