DocumentCode

335789

Title

Some approaches to put the parallel logic inference into practice

Author

Cui, Zhang

Author_Institution

Fudan University

Volume

1

fYear

1988

fDate

8-12 Aug 1988

Firstpage

170

Lastpage

172

Keywords

Calculus; Kernel; Large-scale systems; Logic; Notice of Violation; Programming profession; Upper bound; Writing;

fLanguage

English

Publisher

ieee

Conference_Titel

Systems, Man, and Cybernetics, 1988. Proceedings of the 1988 IEEE International Conference on

Print_ISBN

7-80003-039-3

Type

conf

DOI

10.1109/ICSMC.1988.754266

Filename

754266