Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
Faggian, Claudia
2000.
Proof construction and non-commutativity.
p.
80.
Mogbil, Virgile
2001.
Computer Science Logic.
Vol. 2142,
Issue. ,
p.
69.
Guglielmi, Alessio
and
Straßburger, Lutz
2001.
Computer Science Logic.
Vol. 2142,
Issue. ,
p.
54.
Guglielmi, Alessio
and
Straßburger, Lutz
2002.
Logic for Programming, Artificial Intelligence, and Reasoning.
Vol. 2514,
Issue. ,
p.
231.
Abrusci, V.Michele
2003.
Towards a semantics of proofs for non-commutative logic: multiplicatives and additives.
Theoretical Computer Science,
Vol. 294,
Issue. 3,
p.
335.
Maieli, Roberto
and
Ruet, Paul
2003.
Non-commutative logic III: focusing proofs.
Information and Computation,
Vol. 185,
Issue. 2,
p.
233.
Lamarche, François
2003.
Multiplicative Linear Logics and Fibrations.
Electronic Notes in Theoretical Computer Science,
Vol. 69,
Issue. ,
p.
227.
Galmiche, D.
and
Notin, J. -M.
2003.
Logic for Programming, Artificial Intelligence, and Reasoning.
Vol. 2850,
Issue. ,
p.
422.
Di Gianantonio, Pietro
2004.
Computer Science Logic.
Vol. 3210,
Issue. ,
p.
130.
Andreoli, Jean-Marc
Maieli, Roberto
and
Ruet, Paul
2006.
Non-commutative proof construction: A constraint-based approach.
Annals of Pure and Applied Logic,
Vol. 142,
Issue. 1-3,
p.
212.
Fleury, Marie-Renée
and
Quatrini, Myriam
2007.
A Mixed λ-calculus.
Studia Logica,
Vol. 87,
Issue. 2-3,
p.
269.
Pulcini, Gabriele
2007.
Logic for Programming, Artificial Intelligence, and Reasoning.
Vol. 4790,
Issue. ,
p.
469.
Guglielmi, Alessio
2007.
A system of interaction and structure.
ACM Transactions on Computational Logic,
Vol. 8,
Issue. 1,
p.
1.
Ille, Pierre
and
Ruet, Paul
2008.
Cyclic Extensions of Order Varieties.
Electronic Notes in Theoretical Computer Science,
Vol. 212,
Issue. ,
p.
119.