Article,

Generalized Closed World Assumptions is Pi^0_2-Complete.

, and .
Inf. Process. Lett., 34 (6): 289-291 (1990)

Meta data

Tags

Users

  • @dblp

Comments and Reviews