Searching for "Decidability of Linear Affine Logic." – 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.

Decidability of Linear Affine Logic
by Alexei P. Kopylov — 1995 — 10-th Annual IEEE Symposium on Logic in Computer Science
…Decidability of Linear Ane Logic A. P. Kopylov Department of Mathematics and Mechanics Moscow…
Cited by 11 (0 self) – Add To MetaCart

Seminar on Linear Logic and Application - Suggested Topics
by Frank Pfenning, G. Plotkin, Logical Frameworks
… and Computation, 4(2):175--207, April 1994. [Kop94] A. P. Kopylov. Decidability of linear affine logic, 1994. [Laf…
Add To MetaCart

Showing 1 through 2.

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