pith. sign in

Title resolution pending

doi:10 · 2019 · DOI 10.1007/978-3-030-17127-8

2 Pith papers cite this work. Polarity classification is still indexing.

2 Pith papers citing it
open at publisher browse 2 citing papers

Title metadata for this work has not finished resolving. The hub is built from the citation graph; the title resolver retries DOI and OpenAlex on its next pass.

fields

cs.FL 1 cs.LO 1

years

2024 1 2022 1

verdicts

unreviewed 1 UNVERDICTED 1

clear filters

representative citing papers

citing papers explorer

Showing 1 of 1 citing paper after filters.

  • Myhill-Nerode Theorem for Higher-Dimensional Automata cs.FL · 2022-10-15 · unverdicted · none · ref 27

    Proves Myhill-Nerode theorem for HDAs: language regular iff finite prefix quotient; shows deterministic HDAs are strictly weaker than nondeterministic ones.