On the Structure of High-level Nets (1995)

Cached

Download Links

by Johan Lilius , Johan Lilius
Venue:Helsinki University of Technology
Citations:10 - 0 self

Active Bibliography

543 Composing Specifications – Martín Abadi, Leslie Lamport - 1993
734 Notions of Computation and Monads – Eugenio Moggi - 1991
335 Logic Programming with Focusing Proofs in Linear Logic – Jean-marc Andreoli - 1992
305 Logic Programming in a Fragment of Intuitionistic Linear Logic – Joshua S. Hodas, Dale Miller
3 On the Compositionality and Analysis of Algebraic High-Level Nets – Johan Lilius - 1991
243 Logic Programming and Negation: A Survey – Krzysztof R. Apt, Roland Bol - 1994
229 Domain Theory in Logical Form – Samson Abramsky - 1991
41 Applications of Linear Logic to Computation: An Overview – Vladimir Alexiev - 1993
53 A Brief Guide to Linear Logic – Andre Scedrov - 1993