Saturation-Based Boolean Conjunctive Query Answering and Rewriting for the Guarded Quantification Fragments

Location
Deutsche Nationalbibliothek Frankfurt am Main
Extent
1 Online-Ressource.
Language
Englisch

Bibliographic citation
Saturation-Based Boolean Conjunctive Query Answering and Rewriting for the Guarded Quantification Fragments ; volume:67 ; number:4 ; day:23 ; month:11 ; year:2023 ; pages:1-68 ; date:12.2023
Journal of automated reasoning ; 67, Heft 4 (23.11.2023), 1-68, 12.2023

Classification
Informatik

Creator
Zheng, Sen
Schmidt, Renate A.
Contributor
SpringerLink (Online service)

DOI
10.1007/s10817-023-09687-x
URN
urn:nbn:de:101:1-2024022611120268684111
Rights
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
Last update
14.08.2025, 10:45 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

  • Zheng, Sen
  • Schmidt, Renate A.
  • SpringerLink (Online service)

Other Objects (12)