Search alternatives:
languages » language
automata » automated, automatic

1
Published 2023
Springer Nature Switzerland
Table of Contents: ... Verification With Tight Bounds -- Fluo: A Domain-Specific Language for Experiments in Fluorescence Microscopy...

2
Published 2009
Springer Berlin Heidelberg
Subjects: ...Formal Languages and Automata Theory...

3
Published 1997
Springer Berlin Heidelberg
Table of Contents: ... lazy narrowing calculus: A computation model for a higher-order functional logic language...

4
Published 1996
Springer Berlin Heidelberg
Table of Contents: ... -- Independence in dynamically scheduled logic languages -- Heterogeneous constraint solving -- A hierarchy...

5
Published 2021
Springer International Publishing
Subjects: ...Formal Languages and Automata Theory...