Finite-State Recognizability and Logic: from Words to Graphs

Wolfgang Thomas. Finite-State Recognizability and Logic: from Words to Graphs. In IFIP Congress (1). pages 499-506, 1994.

Abstract

Abstract is missing.