22 results on '"Jacquemard, Florent"'
Search Results
2. A Parse-Based Framework for Coupled Rhythm Quantization and Score Structuring
3. Term Rewriting with Prefix Context Constraints and Bottom-Up Strategies
4. A Structural Theory of Rhythm Notation Based on Tree Representations and Term Rewriting
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
10. Automated Induction with Constrained 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
17. Decidable Fragments of Simultaneous Rigid Reachability
18. Unification in extensions of shallow equational theories
19. Rigid Reachability
20. Decidable approximations of term rewriting systems
21. Pumping, cleaning and symbolic constraints solving
22. Ground reducibility and automata with disequality constraints
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.