João Barbosa
João Barbosa
Affiliation: Faculty of Science, University of Porto
Pages in this Program
MaudeTypedLog: A Typed Interpreter for Prolog in Maude
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated:
🔍 ↑