Alejandro Serrano

Identifiers

• name variant Alejandro Serrano 0.60 · backfill

Papers (2)

1. Constraint Handling Rules with Binders, Patterns and Generic Quantification cs.LO · 2017 · author #1
2. Towards an Abstract Domain for Resource Analysis of Logic Programs Using Sized Types cs.PL · 2013 · author #1

Mentions

• 1308.3940 #1 · backfill · confidence 0.70 Alejandro Serrano

Frequent Coauthors

• Jurriaan Hage 1 shared papers
• Manuel Hermenegildo 1 shared papers
• Pedro L\'opez-Garc\'ia 1 shared papers