A Strong Logic Programming View for Static Embedded Implications
FoSSaCS '99 Proceedings of the Second International Conference on Foundations of Software Science and Computation Structure, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'99
Translating propositional extended conjunctions of Horn clauses into Boolean circuits
Theoretical Computer Science
A transformational semantics of static embedded implications of normal logic programs
LOPSTR'05 Proceedings of the 15th international conference on Logic Based Program Synthesis and Transformation
Goals in the propositional horn⊃ language are monotone boolean circuits
MFCS'05 Proceedings of the 30th international conference on Mathematical Foundations of Computer Science
Dynamic composition of parameterised logic modules
Computer Languages
| Hi-index | 5.23 |