A Simple Proof of a Completeness Result for leads-to in the UNITY Logic

Jan K. Pachl. A Simple Proof of a Completeness Result for leads-to in the UNITY Logic. Inf. Process. Lett., 41(1):35-38, 1992.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.