The fluted fragment with transitive relations
Year: 2021
Type: article
Source: Annals of Pure and Applied Logic
Authors: Ian Pratt-Hartmann, Lidia Tendera
Institutions: University of Opole, University of Manchester
Language: English
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Open Access status: bronze
Funder: Narodowe Centrum Nauki
Award: G2827637070
OpenAlex ID: W3036069644