<style face="normal" font="default" size="100%">Explaining successful docker images using pattern mining analysis</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">Explaining successful docker images using pattern mining analysis</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">Dynamic composition of parameterised logic modules</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">Dynamic Composition of Parameterised Logic Modules</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">Amalgamating Language and Meta-language for Composing Logic Programs</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">Implementations of Program Composition Operations</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">Implementations of Program Composition Operations</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">Implementations of Program Composition Operations</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">Modular Logic Programming</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">Meta for Modularising Logic Programming</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">Theory Construction in Computational Logic</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">Logic Programming within a Functional Framework</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">Universal Quantification by Case Analysis</style>