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

1
Published 2021
Springer International Publishing
Table of Contents: “...Invited Talks -- Morphic sequences versus automatic sequences -- Parsimonious Computational...”
Cover Image
Read Now

2
Published 2020
Springer International Publishing
Table of Contents: “...HFM 2019: First History of Formal Methods Workshop -- NSAD 2019: 8th International Workshop...”
Cover Image
Read Now

3
Published 2020
Springer International Publishing
Table of Contents: “...AFFORD 2019: Third Workshop on Practical Formal Verification for Software Dependability -- DataMod...”