The guarded fragment with transitive guards
Work
Year: 2004
Type: article
Source: Annals of Pure and Applied Logic
Authors Wiesław Szwast, Lidia Tendera
Institutions University of Opole, Institute of Mathematics
Cites: 39
Cited by: 59
Related to: 10
FWCI: 2.86
Citation percentile (by year/subfield): 92.91
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Sustainable Development Goal Peace, justice, and strong institutions
Open Access status: closed