A Note on Assumptions about Skolem Functions

Authors
H.J.Ohlbach,C.Weidenbach
Citation
H.j.ohlbach,c.weidenbach, A Note on Assumptions about Skolem Functions, Journal of automated reasoning , 15(2), 1995, pp. 267-275
Journal title
Journal of automated reasoning → ACNP
ISSN journal
01687433
Volume
15
Issue
2
Year of publication
1995
Pages
267 - 275
Database
ACNP
SICI code