Login / Signup
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)