A detection algorithm of perpetual suspension in KLI
Authors:
Y. Inamura;Satoshi Onishi
Affiliations:
-;-
Venue:
Logic programming
Year:
1990
Citing
0
Cited
1
Launching the new era
Communications of the ACM
Quantified Score
Hi-index
0.02
Visualization
Abstract