scientific article; zbMATH DE number 7802072

zbMath1530.68145arXiv2209.10313MaRDI QIDQ6191008

Hans de Nivelle, Unnamed Author

Publication date: 8 February 2024

Full work available at URL: https://arxiv.org/abs/2209.10313

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Cites Work

• Unnamed Item
• On the Hopcroft's minimization technique for DFA and DFCA
• Around Hopcroft’s Algorithm
• A Recursive Inclusion Checker for Recursively Defined Subtypes

This page was built for publication: