Login / Signup

Decidability Problems for the Prenex Fragment of Intuitionistic Logic.

Anatoli DegtyarevAndrei Voronkov
Published in: LICS (1996)
Keyphrases
  • np complete
  • data model
  • object oriented
  • desirable properties
  • intuitionistic logic