Santiago Escobar
- Delayed Constraints in Narrowing for the Logic-Based Analyses of Real-Time Systems
2026/07/20 by Santiago Escobar, Raúl López-Rueda, Carlos Olarte · 1 voice
Computer Science · #Formal Methods in Verification #Logic, Reasoning, and Knowledge #Real-Time Systems Scheduling
- MaudeTypedLog: A Typed Interpreter for Prolog in Maude
2026/07/18 by Enrique Gallifa-Tronch, J M Barbosa, João Barbosa +1
Computer Science · #Logic, programming, and type systems #Logic, Reasoning, and Knowledge #Formal Methods in Verification