Closed maximality principles: implications, separations and combinations.

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

Keyphrases

queueing networks
real time
database
databases
real world
search engine
social networks
three dimensional
information technology
probabilistic model
object oriented
steady state
recursive functions
closed world