Search results for: António Porto
Rendiconti Lincei > 2017 > 28 > 2 > 291-301
Lecture Notes in Computer Science
Lecture Notes in Computer Science > Functional and Logic Programming > Programming Methodology > 275-289
Lecture Notes in Computer Science > EPIA 91 > 180-194
Lecture Notes in Computer Science > Practical Aspects of Declarative Languages > Databases and Large Data Sets > 152-167
Lecture Notes in Computer Science > Applications of Declarative Programming and Knowledge Management > Invited Talks > 20-39
Lecture Notes in Computer Science > EPIA 91 > 135-150
Lecture Notes in Computer Science > Temporal Logic > 349-364
Lecture Notes in Computer Science > 5th Conference on Automated Deduction Les Arcs, France, July 8–11, 1980 > 306-317
Lecture Notes in Computer Science
Journal of Voice > 2012 > 26 > 6 > 820.e15-820.e18
Theoretical Computer Science > 1998 > 192 > 2 > 259-286