Guarded Quantification in Least Fixed Point Logic
Gregory MccolmVolume:
13
Year:
2004
Language:
english
Journal:
Journal of Logic, Language, and Information
DOI:
10.2307/40180368
File:
PDF, 4.40 MB
english, 2004