Aart Middeldorp
Scholar

Aart Middeldorp

Google Scholar ID: R9MO_3AAAAAJ
University of Innsbruck
Computational Logic
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
666
 
H-index
12
 
i10-index
21
 
Publications
20
 
Co-authors
0
 
Contact
GitHubOpen ↗
Publications
1 items
Unification of Deterministic Higher-Order Patterns
2026
Cited
0
Resume (English only)
Academic Achievements
  • Recommended journals: Journal of Automated Reasoning, Applicable Algebra in Engineering, Communication and Computing; Recommended event: CSL 2026; Recommended proceedings: Electronic Proceedings in Theoretical Computer Science.
Research Experience
  • Head of the Computational Logic research group, Associate Dean of Studies, and Erasmus coordinator.
Background
  • Professor in the Department of Computer Science, with a research focus on computational logic.
Miscellany
  • Consultation hours: Wednesday 11:30 – 13:00, 3M07, ICT building.
Co-authors
0 total
Co-authors: 0 (list not available)