The bounds of Skolem functions and their applications
Authors:
Shih Ping Tung
Affiliations:
-
Venue:
Information and Computation
Year:
1995
Citing
0
Cited
1
Skolem functions of arithmetical sentences
Information and Computation
Quantified Score
Hi-index
0.00
Visualization
Abstract