Book Chapter10.1007/978-3-642-03564-7_4

On Several Proofs of the Recognizability Theorem

Bruno Courcelle-2009-01-01-Lecture notes in computer science

0

Chat with Paper

AI Agents for this Paper

No abstract available for this paper.

Keywords

Mathematical proofCongruence relationAutomatonComputer scienceSet (abstract data type)Discrete mathematicsAutomated theorem provingFinite set

Chat

Click to start Chat