Search

Your search keyword '"Jacquemard, Florent"' showing total 22 results

Search Constraints

Start Over You searched for: Author "Jacquemard, Florent" Remove constraint Author: "Jacquemard, Florent" Publication Type eBooks Remove constraint Publication Type: eBooks
22 results on '"Jacquemard, Florent"'

Search Results

2. A Parse-Based Framework for Coupled Rhythm Quantization and Score Structuring

5. Rewrite Closure and CF Hedge Automata

6. Multiple Congruence Relations, First-Order Theories on Terms, and the Frames of the Applied Pi-Calculus

7. Controlled Term Rewriting

8. Unique Normalization for Shallow TRS

9. Rigid Tree Automata

11. Closure of Hedge-Automata Languages by Hedge Rewriting

12. Tree Automata with Memory, Visibility and Structural Constraints

13. An Analysis of a Public Key Protocol with Membranes

14. The Confluence Problem for Flat TRSs

15. Tree Automata with Equality Constraints Modulo Equational Theories

16. Compiling and Verifying Security Protocols

19. Rigid Reachability

Catalog

Books, media, physical & digital resources