Guarded Quantification in Least Fixed Point Logic (2002)

Cached

Download Links

by Gregory McColm
Citations:2 - 1 self

Document Versions

Guarded Quantification in Least Fixed Point Logic –Gregory McColm — 2002