Scholar

Mateu Villaret Auselle

Google Scholar ID: kn14YKcAAAAJ

Universitat de Girona

Computational logicsHigher-order UnificationConstraint ProgrammingSATSMT

Citations & Impact

All-time

Citations

617

H-index

i10-index

Publications

Co-authors

Contact

No contact links provided.

Publications

20 items

Browse publications on Google Scholar (top-right) ↗

Resume (English only)

Co-authors

0 total

Co-authors: 0 (list not available)