- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
1 Online-Ressource.
- Sprache
-
Englisch
- Erschienen in
-
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
- Urheber
-
Das, Anupam
Girlando, Marianna
- Beteiligte Personen und Organisationen
-
SpringerLink (Online service)
- DOI
-
10.1007/s10817-023-09675-1
- URN
-
urn:nbn:de:101:1-2023121112041003489827
- Rechteinformation
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
15.08.2025, 07:33 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Das, Anupam
- Girlando, Marianna
- SpringerLink (Online service)
Ähnliche Objekte (12)
Unification in a Description Logic with Transitive Closure of Roles
Transitive separation logic
Parallel transitive closure algorithm
Extended transitive separation logic
Extended Transitive Separation Logic
Transitive Closure of Interval-valued Fuzzy Relations
Epistemic logic without closure
![7/4-transitive [Transitive] Permutationsgruppen](/assets/placeholder/searchResultMediaNoDigitisedMedia.png)
7/4-transitive [Transitive] Permutationsgruppen
A Description Logic with Transitive and Converse Roles and Role Hierarchies
Augmenting concept languages by transitive closure of roles: an alternative to terminological cycles
Transitive regret
Transitive modes
Unification in a Description Logic with Transitive Closure of Roles
Transitive separation logic
Parallel transitive closure algorithm
Extended transitive separation logic
Extended Transitive Separation Logic
Transitive Closure of Interval-valued Fuzzy Relations
Epistemic logic without closure
7/4-transitive [Transitive] Permutationsgruppen
A Description Logic with Transitive and Converse Roles and Role Hierarchies
Augmenting concept languages by transitive closure of roles: an alternative to terminological cycles
Transitive regret
Transitive modes
Unification in a Description Logic with Transitive Closure of Roles
Transitive separation logic
Parallel transitive closure algorithm
Extended transitive separation logic
Extended Transitive Separation Logic
Transitive Closure of Interval-valued Fuzzy Relations
Epistemic logic without closure
7/4-transitive [Transitive] Permutationsgruppen
A Description Logic with Transitive and Converse Roles and Role Hierarchies
Augmenting concept languages by transitive closure of roles: an alternative to terminological cycles
Transitive regret