Jose Meseguer

Identifiers

• name variant Jose Meseguer 0.60 · backfill

Papers (2)

1. Partial Evaluation of Order-sorted Equational Programs modulo Axioms cs.PL · 2016 · author #4
2. State Space Reduction in the Maude-NRL Protocol Analyzer cs.CR · 2011 · author #3

Mentions

• 1105.5282 #3 · backfill · confidence 0.70 Jose Meseguer

Frequent Coauthors

• Santiago Escobar 2 shared papers
• Angel Cuenca 1 shared papers
• Catherine Meadows 1 shared papers
• Maria Alpuente 1 shared papers