Benjamin Horsfall

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

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2014

Automated reasoning for reflective programs.

[BibT_eX]

[DOI]

PhD thesis, 2014

Four-Valued Reasoning and Cyclic Circuits.

[BibT_eX]

[DOI]

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

2012

Logic Programming: From Underspecification to Undefinedness.

[BibT_eX]

[DOI]

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