The following pages link to José Meseguer (Q347381):
Displaying 6 items.
- ACUOS: A System for Modular ACU Generalization with Subtyping and Inheritance (Q2938523) (← links)
- Variants in the Infinitary Unification Wonderland (Q6486035) (← links)
- Variant Satisfiability of Parameterized Strings (Q6486037) (← links)
- Inductive Reasoning with Equality Predicates, Contextual Rewriting and Variant-Based Simplification (Q6486039) (← links)
- Verification of the IBOS Browser Security Properties in Reachability Logic (Q6486045) (← links)
- On Ground Convergence and Completeness of Conditional Equational Program Hierarchies (Q6487297) (← links)
