Máire Lane

Publication Activity (10 Years)

Years Active: 2003-2009
Publications (10 Years): 0

Publications

Máire Lane, Anthony Karel Seda
Properties of General Semantic Operators Determined by Logic-Based Systems. Electron. Notes Theor. Comput. Sci. 225 (2009)
Anthony Karel Seda, Máire Lane
On Continuous Models of Computation: Towards Computing the Distance Between (Logic) Programs. IWFM (2003)