Search for persons
X
?
Programming Languages and Systems; Lecture Notes in Computer Science ,
11
A Counterexample-Guided Debugger for Non-recursive Datalog:
, In:
?
Communications in Computer and Information Science; Software Foundations for Data Interoperability and Large Scale Graph Data Analytics ,
14
A Cheap Implementation of Resugaring in BIRDS Based on Bidi..:
, In:
?
Communications in Computer and Information Science; Software Foundations for Data Interoperability and Large Scale Graph Data Analytics ,
15