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.
Guglielmi, Alessio
and
Straßburger, Lutz
2001.
Computer Science Logic.
Vol. 2142,
Issue. ,
p.
54.
Mogbil, Virgile
2001.
Computer Science Logic.
Vol. 2142,
Issue. ,
p.
69.
Abrusci, V. Michele
2002.
Classical Conservative Extensions of Lambek Calculus.
Studia Logica,
Vol. 71,
Issue. 3,
p.
277.
de Groote, Philippe
and
Lamarche, François
2002.
Classical Non-Associative Lambek Calculus.
Studia Logica,
Vol. 71,
Issue. 3,
p.
355.
Guglielmi, Alessio
and
Straßburger, Lutz
2002.
Logic for Programming, Artificial Intelligence, and Reasoning.
Vol. 2514,
Issue. ,
p.
231.
Maieli, Roberto
and
Ruet, Paul
2003.
Non-commutative logic III: focusing proofs.
Information and Computation,
Vol. 185,
Issue. 2,
p.
233.
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.
Galmiche, D.
and
Notin, J. -M.
2003.
Logic for Programming, Artificial Intelligence, and Reasoning.
Vol. 2850,
Issue. ,
p.
422.
Lamarche, François
2003.
Multiplicative Linear Logics and Fibrations.
Electronic Notes in Theoretical Computer Science,
Vol. 69,
Issue. ,
p.
227.
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.