Author: Albert Liu
Publication Overview
Publication period start: 2008
Number of co-authors: 4
Co-Authors
Number of publications with favourite co-authors
Productive Colleagues
Most productive colleagues in number of publications
Publications
Barker-Plummer,
Dave,
Etchemendy,
John,
Liu,
Albert,
Murray,
Michael,
Swoboda,
Nik
(2008):
Openproof - A Flexible Framework for Heterogeneous Reasoning.
In:
Stapleton,
Gem,
Howse,
John,
Lee,
John
(eds.)
Diagrams 2008 - Diagrammatic Representation and Inference - 5th International Conference
September 19-21,
2008,
Herrsching, Germany.
pp. 347-349.
https://dx.doi.org/10.1007/978-3-540-87730-1_32