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.

representative citing papers

Myhill-Nerode Theorem for Higher-Dimensional Automata

cs.FL · 2022-10-15 · unverdicted · novelty 7.0

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

Mirroring Call-by-Need, or Values Acting Silly

cs.LO · 2024-02-19

citing papers explorer

Showing 1 of 1 citing paper after filters.

Mirroring Call-by-Need, or Values Acting Silly cs.LO · 2024-02-19 · unreviewed · ref 30

Title resolution pending

fields

years

verdicts

representative citing papers

citing papers explorer