Login / Signup

Skolemization in intermediate logics with the finite model property.

Matthias BaazRosalie Iemhoff
Published in: Log. J. IGPL (2016)
Keyphrases
  • computational model
  • mathematical model
  • information systems
  • management system
  • network model
  • multiscale
  • control system
  • hidden markov models
  • theoretical analysis
  • conceptual model
  • prediction model
  • inference rules