Login / Signup
A Modal Characterization of λ-Bisimilarity.
Jinjin Zhang
Zhaohui Zhu
Published in:
Int. J. Softw. Informatics (2007)
Keyphrases
</>
modal logic
least squares
database
database systems
image analysis
axiomatic characterization