Benjamin Horsfall

According to our database, Benjamin Horsfall authored at least 3 papers between 2012 and 2014.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2014

Automated reasoning for reflective programs.

Benjamin Horsfall

PhD thesis, 2014

Four-Valued Reasoning and Cyclic Circuits.

Graeme Gange, Benjamin Horsfall, Lee Naish, Harald Søndergaard

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2014

2012

Logic Programming: From Underspecification to Undefinedness.

Lee Naish, Harald Søndergaard, Benjamin Horsfall

Proceedings of the Eighteenth Computing: The Australasian Theory Symposium, 2012