Paul Broome
According to our database1,
Paul Broome authored at least 4 papers
between 1981 and 2025.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2025
Proceedings of the IEEE Military Communications Conference, 2025
1994
Combinatory Logic Programming: Computing in Relation Calculi.
Proceedings of the Logic Programming, 1994
1993
Proofs about Programs in Classical Set Theory.
Proceedings of the Workshop on Logic Programming with Sets, 1993
1981
Proceedings of the 1981 conference on Functional programming languages and computer architecture, 1981