Guarded Quantification in Least Fixed Point Logic (2002)

Cached

Download Links

by Gregory McColm
Citations:2 - 1 self