Invertible Classes
暂无分享,去创建一个
[1] G. Kreisel. Note on arithmetic models for consistent formulae of the predicate calculus , 1950 .
[2] Bruce Schneier,et al. Description of a New Variable-Length Key, 64-bit Block Cipher (Blowfish) , 1993, FSE.
[3] Gerhard Goos,et al. Fast Software Encryption , 2001, Lecture Notes in Computer Science.
[4] Carl G. Jockusch,et al. Generalized Cohesiveness , 1999, J. Symb. Log..
[5] Victor W. Marek,et al. How Complicated is the Set of Stable Models of a Recursive Logic Program? , 1992, Ann. Pure Appl. Log..
[6] R. Soare. Recursively enumerable sets and degrees , 1987 .
[7] P. Odifreddi. Classical recursion theory , 1989 .
[8] E. Mark Gold,et al. Language Identification in the Limit , 1967, Inf. Control..
[9] John Case,et al. Comparison of Identification Criteria for Machine Inductive Inference , 1983, Theor. Comput. Sci..