Searching for "Backtrackable State with Linear Affine Implication and Assumption Grammars." – sorted by Relevance.

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

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

2 documents found, showing 1 through 2.

Backtrackable State with Linear Affine Implication and Assumption Grammars
by Paul Tarau, Veronica Dahl, Andrew Fall — 1996
…Backtrackable State with Linear Affine Implication and Assumption Grammars Paul Tarau 1 Veronica…
Cited by 12 (11 self) – Add To MetaCart

Implementation Technologies for Programming Languages based on Logic
by Konstantinos Sagonas, Konstantinos Sagonas (editor
…://clement.info.umoncton.ca/ html/tmob/html.html. 8 [18] P. Tarau, V. Dahl, and A. Fall. Backtrackable State with Linear Affine…
Add To MetaCart

Showing 1 through 2.

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