C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Checking Strong Open Congruence in Chi -Calculus.
Taolue Chen
Jingyang Zhou
Tingting Han
Jian Lu
Published in:
Electron. Notes Theor. Comput. Sci. (2004)
Keyphrases
</>
type checking
algebraic structure
artificial intelligence
information gain
data sets
case study
socio technical