Search alternatives:
languages » language
automata » automated
Cover Image
Read Now

1
Published 1991
Springer Berlin Heidelberg
Table of Contents: “... specialization -- Dynamic detection of determinism in functional logic languages -- Unfolding — definition...”
Cover Image
Read Now

2
Published 2005
Springer Berlin Heidelberg
Table of Contents: “... Engineering -- Formal Languages -- Outfix-Free Regular Languages and Prime Outfix-Free Decomposition...”
Cover Image
Read Now

3
Published 1996
Springer Berlin Heidelberg
Table of Contents: “... theory -- Resolution of goals with the functional and logic programming language LPG: Impact...”
Cover Image
Read Now

4
Published 2003
Springer Berlin Heidelberg
Table of Contents: “... -- Completeness Results for Fibred Parchments -- Use of Patterns in Formal Development: Systematic Transition from...”
Cover Image
Read Now

5
Published 1988
Springer Berlin Heidelberg
Table of Contents: “... auxiliary pushdown automata -- Hotz-isomorphism theorems in formal language theory -- First-order properties...”
Cover Image
Read Now

6
Published 2015
Springer International Publishing
Table of Contents: “...The SCEL Language: Design, Implementation, Verification -- Reconfigurable and Software-Defined...”
Cover Image
Read Now

7
Published 1992
Springer Berlin Heidelberg
Table of Contents: “... programming language -- Camel: An extension of the categorical abstract machine to compile functional/logic...”