Alan Finlay

Publication Activity (10 Years)

Years Active: 1993-1998
Publications (10 Years): 0

Publications

Kim Marriott, Sitt Chen Chok, Alan Finlay
A Tableau Based Constraint Solving Toolkit for Interactive Graphical Applications. CP (1998)
Alan Finlay, Lloyd Allison
A Correction to the Denotational Semantics for the Prolog of Nicholson and Foo. ACM Trans. Program. Lang. Syst. 15 (1) (1993)