scientific article
From MaRDI portal
Publication:2703720
zbMath0971.68139MaRDI QIDQ2703720
Jean-Marc Notin, Didier Galmiche
Publication date: 7 May 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Cites Work
- Forum: A multiple-conclusion specification logic
- The structure of multiplicatives
- Connection methods in linear logic and proof nets construction
- Sequent reconstruction in LLM -- A sweepline proof
- Non-commutative logic. I: The multiplicative fragment
- Quantales and (noncommutative) linear logic
- Phase semantics and sequent calculus for pure noncommutative classical linear propositional logic
- A specification logic for concurrent object-oriented programming
- Applications of Linear Logic to Computation: An Overview
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
