Cyclic Hypersequent System for Transitive Closure Logic

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

This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.

Associated

  • Das, Anupam
  • Girlando, Marianna
  • SpringerLink (Online service)

Other Objects (12)