- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
1 Online-Ressource.
- Language
-
Englisch
- Bibliographic citation
-
A Closer Look at the Expressive Power of Logics Based on Word Equations ; day:11 ; month:12 ; year:2023 ; pages:1-58
Theory of computing systems ; (11.12.2023), 1-58
- Creator
-
Day, Joel
Ganesh, Vijay
Grewal, Nathan
Konefal, Matthew
Manea, Florin
- Contributor
-
SpringerLink (Online service)
- DOI
-
10.1007/s00224-023-10154-8
- URN
-
urn:nbn:de:101:1-2024022614432272667866
- Rights
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
- 14.08.2025, 10:55 AM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Day, Joel
- Ganesh, Vijay
- Grewal, Nathan
- Konefal, Matthew
- Manea, Florin
- SpringerLink (Online service)
Other Objects (12)
Take a Closer Look
Proteinuria—take a closer look!
A Closer Look at Scoring
Expressive Non-Monotonic Description Logics Based on Circumscription
Infinitely Valued Gödel Semantics for Expressive Description Logics
Relativistic bubble collisions - a closer look
Taking a Closer Look at Gastritis
Deductive Module Extraction for Expressive Description Logics : Extended Version
Extended caching, backjumping and merging for expressive description logics
LETHE: Forgetting and Uniform Interpolation for Expressive Description Logics
A closer look at subnational government finances
Taking a closer look at rural education
Take a Closer Look
Proteinuria—take a closer look!
A Closer Look at Scoring
Expressive Non-Monotonic Description Logics Based on Circumscription
Infinitely Valued Gödel Semantics for Expressive Description Logics
Relativistic bubble collisions - a closer look
Taking a Closer Look at Gastritis
Deductive Module Extraction for Expressive Description Logics : Extended Version
Extended caching, backjumping and merging for expressive description logics
LETHE: Forgetting and Uniform Interpolation for Expressive Description Logics
A closer look at subnational government finances
Taking a closer look at rural education
Take a Closer Look
Proteinuria—take a closer look!
A Closer Look at Scoring
Expressive Non-Monotonic Description Logics Based on Circumscription
Infinitely Valued Gödel Semantics for Expressive Description Logics
Relativistic bubble collisions - a closer look
Taking a Closer Look at Gastritis
Deductive Module Extraction for Expressive Description Logics : Extended Version
Extended caching, backjumping and merging for expressive description logics
LETHE: Forgetting and Uniform Interpolation for Expressive Description Logics
A closer look at subnational government finances