Search results for: Salvador Lucas
Journal of Automated Reasoning > 2018 > 60 > 4 > 465-501
Journal of Logical and Algebraic Methods in Programming > 2017 > 86 > 1 > 236-268
Lecture Notes in Computer Science > Rewriting Techniques and Applications > Regular Papers > 216-230
Lecture Notes in Computer Science > Algebra and Coalgebra in Computer Science > Contributed Papers > 173-178
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > Session 11. Rewriting > 636-651
Lecture Notes in Computer Science > Automated Reasoning > Session 10: System Descriptions 2 > 313-319
Lecture Notes in Computer Science > Programming Languages: Implementations, Logics, and Programs > 408-422
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > 184-198
Lecture Notes in Computer Science > Foundations of Software Science and Computation Structures > Contributed Papers > 318-332
Lecture Notes in Computer Science > Programming Languages: Implementations, Logics, and Programs > 127-141
Lecture Notes in Computer Science > Frontiers of Combining Systems > Section 2. Technical Papers > 73-87
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > Termination > 669-684