On the uniqueness property of forking in abstract elementary classes.

Sebastien Vasey

Published in: Math. Log. Q. (2017)

Keyphrases

higher level
database
artificial intelligence
high level
multi agent systems
low level
object oriented
class hierarchy