City Research Online

Items where Author is "Robbins, E."

Up a level
Export as [feed] RSS 2.0 [feed] RSS
Group by: Type | No Grouping
Number of items: 3.

Robbins, E., King, A. and Howe, J. M. ORCID: 0000-0001-8013-6941 (2020). Backjumping is Exception Handling. Theory and Practice of Logic Programming, doi: 10.1017/S1471068420000435

Robbins, E., Howe, J. M. and King, A. (2015). Theory propagation and reification. Science of Computer Programming, 111(1), pp. 3-22. doi: 10.1016/j.scico.2014.05.013

Robbins, E., Howe, J. M. and King, A. (2013). Theory propagation and rational-trees. Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming, PPDP 2013, pp. 193-204.

This list was generated on Wed Apr 14 07:00:32 2021 UTC.