| Study of Behaviours via Visitable Paths. | 0 | 0.34 | 2018 |
| Formal Ontologies and Coherent Spaces. | 0 | 0.34 | 2014 |
| Ludics Characterization of Multiplicative-Additive Linear Behaviours. | 0 | 0.34 | 2014 |
| Incarnation in Ludics and maximal cliques of paths. | 1 | 0.37 | 2013 |
| Ludics and natural language: first approaches | 0 | 0.34 | 2012 |
| A formal framework for a functional language with adaptable components | 0 | 0.34 | 2011 |
| Knowledge Representation through Coherence Spaces - A Theoretical Framework for the Integration of Knowledge Representations | 0 | 0.34 | 2009 |
| Rewritings for Polarized Multiplicative and Exponential Proof Structures | 3 | 0.41 | 2008 |
| A logical calculus for modelling interferences | 0 | 0.34 | 2007 |
| A Sequent Calculus for Modelling Interferences | 1 | 0.36 | 2007 |
| Tree components programming: an application to XML | 0 | 0.34 | 2007 |
| Mobile Multi-Agent Systems: A Programming Language and Its Semantics | 1 | 0.37 | 2004 |
| Modules and Logic Programming | 0 | 0.34 | 2004 |
| Tree Adjoining Grammars in a fragment of the Lambek calculus | 3 | 1.47 | 1999 |
| Formalizing Partial Matching and Similarity in Case-Based Reasoning with a Description Logic. | 2 | 0.50 | 1998 |
| Extending Conceptual Definitions With Default Knowledge | 9 | 0.77 | 1997 |
| Linear Logic for Taxonomical Networks and Database Updates | 0 | 0.34 | 1996 |
| Tree Adjoining Grammars in Noncommutative Linear Logic | 3 | 0.57 | 1996 |
| Coordination as a Direct Process | 2 | 0.66 | 1996 |
| Classer des concepts déefinis avec des déefauts et des exceptions | 0 | 0.34 | 1994 |
| Linear Logic and Exceptions | 2 | 0.41 | 1994 |
| Taxonomic Linear Theories | 1 | 0.39 | 1993 |
| First results of a French linguistic development environment | 0 | 0.34 | 1992 |
| Is nonmonotonic grammar a solution to natural language processing? | 0 | 0.34 | 1989 |
