An Implementation Technique for a Class of Bottom-Up Procedures
Authors:
Andrei Voronkov
Affiliations:
-
Venue:
PLILP '94 Proceedings of the 6th International Symposium on Programming Language Implementation and Logic Programming
Year:
1994
Citing
0
Cited
1
Term indexing
Handbook of automated reasoning
Quantified Score
Hi-index
0.00
Visualization
Abstract