Scheduled System Maintenance:
On May 6th, system maintenance will take place from 8:00 AM - 12:00 PM ET (12:00 - 16:00 UTC). During this time, there may be intermittent impact on performance. We apologize for the inconvenience.
By Topic

The Occur-check Problem

Sign In

Full text access may be available.

To access full text, please use your member or institutional sign in.

The purchase and pricing options are temporarily unavailable. Please try again later.
2 Author(s)

This chapter contains sections titled: The problem, The occur-check problem for a system of equations, The occur-check problem for a program, Undecidability of the occur-check problem for a program, A sufficient NSTO condition for a system of equations, Sufficient NSTO conditions for a program, Discussion