Relative Nondeterministic Information Logic is EXPTIME-complete

Stéphane Demri, Ewa Orlowska. Relative Nondeterministic Information Logic is EXPTIME-complete. Fundamenta Informaticae, 75(1-4):163-178, 2007. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.