Alternating complexity of counting first-order logic for the subword order

Location
Deutsche Nationalbibliothek Frankfurt am Main
Extent
Online-Ressource, 22 Seiten
Language
Englisch

Bibliographic citation
In: Acta informatica(60), H. 1, S.79-100 - ISSN 1432-0525
In: Springer, Berlin

Event
Veröffentlichung
(where)
Ilmenau
(who)
TU Ilmenau
(when)
2022
Creator

DOI
10.1007/s00236-022-00424-2
URN
urn:nbn:de:101:1-2024021202065421819191
Rights
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
Last update
15.08.2025, 7:21 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

Time of origin

  • 2022

Other Objects (12)