Elmer Salazar - POPL 2022 (original) (raw)
POPL 2022 (series) / Elmer Salazar
Not registered as user
Name:Elmer Salazar
Country:United States
Affiliation:The University of Texas at Dallas
Contributions
2022
Symposium on Practical Aspects of Declarative Languages
- Graph-based Interpretation of Normal Logic Programs
- Modeling and Verification of Real-Time Systems with the Event Calculus and s(CASP)
Show activities from other conferences
POPL 2022-profile
View general profile