Search for persons
X
?
Prolog: The Next 50 Years; Lecture Notes in Computer Science ,
2
Some Thoughts on How to Teach Prolog:
, In:
?
3
Analysis, Verification and Transformation for Declarative P..
Lecture Notes in Computer Science, 13160
?
Prolog: The Next 50 Years; Lecture Notes in Computer Science ,
4
Types, Modes and so Much More – The Prolog Way:
, In:
?
Logic-Based Program Synthesis and Transformation; Lecture Notes in Computer Science ,
5
A Rule-Based Approach for Designing and Composing Abstract ..:
, In:
?
Logic-Based Program Synthesis and Transformation; Lecture Notes in Computer Science ,
6
Transforming Big-Step to Small-Step Semantics Using Interpr..:
, In:
?
Logic-Based Program Synthesis and Transformation; Lecture Notes in Computer Science ,
11
An Integrated Approach to Assertion-Based Random Testing in..:
, In:
?
Logic-Based Program Synthesis and Transformation; Lecture Notes in Computer Science ,
12
A General Framework for Static Cost Analysis of Parallel Lo..:
, In:
?
Logic-Based Program Synthesis and Transformation; Lecture Notes in Computer Science ,
14