Login / Signup
Refining the Undecidability Border of Weak Bisimilarity.
Mojmír Kretínský
Vojtech Rehák
Jan Strejcek
Published in:
INFINITY (2005)
Keyphrases
</>
description logics
genetic algorithm
three dimensional
databases
search algorithm
multiresolution
multi baseline stereo