Author/Creator: KAFLE, BISHOKSAN - British Library Electronic Legal Deposit Catalogue-Journal Issues and Articles Search Results

Author/Creator KAFLE, BISHOKSAN

1. An iterative approach to precondition inference using constrained Horn clauses. Issue 3 (10th August 2018)

Authors:: KAFLE, BISHOKSAN; GALLAGHER, JOHN P.; GANGE, GRAEME; SCHACHTE, PETER; SØNDERGAARD, HARALD; STUCKEY, PETER J.
Editors:: Dal Palu, Alessandro; Tarau, Paul
Journal:: Theory and practice of logic programming
Issue:: Volume 18:Issue 3/4(2018)
Page Start:: 553
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

2. Transformation-Enabled Precondition Inference. Issue 6 (23rd November 2021)

Authors:: KAFLE, BISHOKSAN; GANGE, GRAEME; STUCKEY, PETER J.; SCHACHTE, PETER; SØNDERGAARD, HARALD
Journal:: Theory and practice of logic programming
Issue:: Volume 21:Issue 6(2021)
Page Start:: 700
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

3. Tree dimension in verification of constrained Horn clauses. Issue 2 (11th May 2018)

Authors:: KAFLE, BISHOKSAN; GALLAGHER, JOHN P.; GANTY, PIERRE
Journal:: Theory and practice of logic programming
Issue:: Volume 18:Issue 2(2018)
Page Start:: 224
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗