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

1
Published 2016
Springer International Publishing
Table of Contents: “... Affine Counter Systems with the Finite Monoid Property -- Solving Language Equations using Flanked...”
Cover Image
Read Now

2
Published 2015
Springer International Publishing
Table of Contents: “... in industry.- Formal analysis support for modeling languages used in industry -- Code generation from...”