Search results for: Mario Florido
Journal of Automated Reasoning > 2017 > 59 > 1 > 87-120
Lecture Notes in Computer Science > Rewriting, Computation and Proof > Proof and Computation > 182-195
Lecture Notes in Computer Science > Functional and Constraint Logic Programming > Functional Programming > 86-103
Lecture Notes in Computer Science > On the Move to Meaningful Internet Systems 2004: CoopIS, DOA, and ODBASE > XML Processing > 1098-1112
Lecture Notes in Computer Science > Advanced Web and Network Technologies, and Applications > International Workshop on XML Research and Applications (XRA 2006) > 148-156
Lecture Notes in Computer Science > Web Information Systems Engineering – WISE 2007 Workshops > International Workshop on Collaborative Knowledge Management for Web Information Systems (WEKnow) > 91-102
Lecture Notes in Computer Science > Foundations of Software Science and Computational Structures > Contributed Papers > 17-31
Lecture Notes in Computer Science > Logic Based Program Synthesis and Transformation > Transformation and Specialisation > 160-175
Communications in Computer and Information Science > Future Information Technology > Social Computing, Network, and Services > 44-53
Science of Computer Programming > 2015 > 111 > Part 3 > 505-534
Theoretical Computer Science > 2010 > 411 > 11-13 > 1484-1500
Higher-Order and Symbolic Computation > 2010 > 23 > 1 > 1-27
Electronic Notes in Theoretical Computer Science > 2008 > 204 > Complete > 163-179