Jos\'e Morales

Identifiers

• name variant Jos\'e Morales 0.60 · backfill

Papers (1)

1. Big-step and small-step Horn clause derivations applied to operational semantics cs.PL · 2026 · author #3

Mentions

• 2606.20944 #3 · arxiv_oai · confidence 0.70 Jos\'e Morales

Frequent Coauthors

• John P. Gallagher 1 shared papers
• Louis Rustenholz 1 shared papers
• Manuel Hermenegildo 1 shared papers
• Pedro Lopez-Garcia 1 shared papers