MPG.eBooks - Search Results - "Formal Languages And Automata Theory"

Search alternatives:
languages » language
automata » automated , automatic

Cover Image

1

Linking Game-Theoretical Approaches with Constructive Type Theory : Dialogical Strategies, CTT demonstrations and the Axiom of Choice

by Clerbout, Nicolas, Rahman, Shahid
Published 2015

Springer International Publishing

Subjects: “...Formal Languages and Automata Theory...”