Login / Signup

Refining the Undecidability Border of Weak Bisimilarity.

Mojmír KretínskýVojtech RehákJan Strejcek
Published in: INFINITY (2005)
Keyphrases
  • description logics
  • genetic algorithm
  • three dimensional
  • databases
  • search algorithm
  • multiresolution
  • multi baseline stereo