J M Barbosa
- MaudeTypedLog: A Typed Interpreter for Prolog in Maude
2026/07/18 by Enrique Gallifa-Tronch, João Barbosa, J M Barbosa +1
Computer Science · #Logic, programming, and type systems #Logic, Reasoning, and Knowledge #Formal Methods in Verification