Peer-Reviewed Journal Details
Mandatory Fields
Decker, S. and Lingenfelder, C.
1993
Universally quantified queries in languages with order-sorted logics
Published
()
Optional Fields
267
271
Grant Details
Publication Themes