- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
1 Online-Ressource.
- Language
-
Englisch
- Bibliographic citation
-
Cyclic Hypersequent System for Transitive Closure Logic ; volume:67 ; number:3 ; day:16 ; month:8 ; year:2023 ; pages:1-40 ; date:9.2023
Journal of automated reasoning ; 67, Heft 3 (16.8.2023), 1-40, 9.2023
- Creator
-
Das, Anupam
Girlando, Marianna
- Contributor
-
SpringerLink (Online service)
- DOI
-
10.1007/s10817-023-09675-1
- URN
-
urn:nbn:de:101:1-2023121112041003489827
- Rights
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
15.08.2025, 7:33 AM CEST
Data provider
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Das, Anupam
- Girlando, Marianna
- SpringerLink (Online service)