Search alternatives:
automatic theory » automatic theorem, automation theory, automata theory
formal language » formal languages
Cover Image
Read Now

1
Published 2007
Springer Berlin Heidelberg
Table of Contents: “... -- Formally Defining a Graphical Language for Monitoring and Checking Object Interactions -- Statecharts...”
Cover Image
Read Now

2
Published 2016
Springer Berlin Heidelberg
Table of Contents: “... Computability among Graph Connectivity and Related Problems -- Learning Automatic Families of Languages...”