Sign in
A representation of proper BC domains based on conjunctive sequent calculi.
Longchun Wang
Qingguo Li
Published in:
Math. Struct. Comput. Sci. (2020)
Keyphrases
</>
continuous domains
sequent calculi
knowledge representation
object oriented