MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Implementing the Linear Logic Programming Language Lygon." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

3 documents found, showing 1 through 3.

ATOM

Implementing the Linear Logic Programming Language Lygon
by Michael Winikoff , James Harland — 1995 — INTERNATIONAL LOGIC PROGRAMMING SYMPOSIUM
…Implementing the Linear Logic Programming Language Lygon Michael Winikoff 1 James Harland 2…
Cited by 22 (8 self) – Add To MetaCart

Resource-distribution via Boolean constraints
by James Harland, David Pym — 1997 — Proceedings of CADE-14
… to depth-first search and are typically used in the implementation of linear logic programming languages…
Cited by 23 (6 self) – Add To MetaCart

Resource-distribution via Boolean constraints
by James Harland Rmit, James Harland, David Pym — 1997 — Proceedings of CADE-14
… in the implementation of linear logic programming languages such as Lygon [Harland et al. 1996; Winiko and Harland 1995…
Add To MetaCart

Showing 1 through 3.

ATOM

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB