Find:

Searching for PHRASE denis bechet.

Restrict to:   Header   Title   Order by:   Expected citations   Hubs   Usage   Date   Try:   Google (CiteSeer)   Google (Web)   Yahoo!   MSN   CSB   DBLP
16 documents found. Order: number of citations.

A Complete Axiomatisation for the Inclusion of.. - Béchet, de Groote.. (1997)   (Correct)   (7 citations)
www-lipn.univ-paris13.fr/bechet/ 2] Denis Bechet, Philippe de Groote, and Christian Retore. A
www-lipn.univ-paris13.fr/~bechet/Publications/RTA97.ps

Constructing Different Phonological Bracketings From a Proof-Net - Bechet, de Groote (1996)   (Correct)   (2 citations)
phonological bracketings from a proof-net Denis Bechet and Philippe de Groote Projet Calligramme
www-lipn.univ-paris13.fr/bechet/ 2] Denis Bechet and Philippe de Groote, Constructing
www-lipn.univ-paris13.fr/~bechet/Publications/LACL96P97.ps

Removing Value Encoding using Alternative Values in Partial.. - Bechet (1994)   (Correct)   (1 citation)
Partial Evaluation of Strongly-Typed Languages Denis Bechet CRIN-CNRS &INRIALorraine Bo#te Postale 239
239 54506 Vand#uvre-les-Nancy, France e-mail: Denis.Bechet@loria.fr Abstract. There is a main dioeerence
www-lipn.univ-paris13.fr/~bechet/Publications/ESOP96.ps

Unknown - Valued Link Grammars (2003)   (Correct)
(editors)Chapter 1, Copyright c 2003, Denis Bechet. k-Valued Link Grammars are Learnable from
Link Grammars are Learnable from Strings: Denis Bechet 2 (1980) and Shinohara (1990)Recent works
www-lipn.univ-paris13.fr/~bechet/Publications/FG-2003-2003-05-28-v1.1-final.ps.gz

Minimality of the Correctness Criterion for Multiplicative Proof.. - Bechet (1993)   (Correct)
239 54506 Vand#uvre-les-Nancy, France e-mail: Denis.Bechet@loria.fr Received Almost a decade ago, Girard
to the translation of sequential proof into Denis Bechet 2 proof-nets. Here, this new justication is
www-lipn.univ-paris13.fr/~bechet/Publications/MSCS97.ps.gz

On Intermediate Structures for - Non-Associative Lambek Grammars (2004)   (Correct)
Lambek Grammars and Learnability Denis Bechet and Annie Foret a,b a LIPN -UMR 7030 CNRS
model of Gold, structured data Email addresses: Denis.Bechet@lipn.univ-paris13.fr, Annie.Foret@irisa.fr
www.irisa.fr/prive/foret/cg2004.pdf

k-valued Non-Associative Lambek Categorial Grammars are not.. - Béchet, Foret   (Correct)
du General Leclerc 35042 Rennes Cedex France Denis.Bechet@irisa.fr Annie Foret Universite de Rennes1,
www.irisa.fr/prive/foret/acl-v8.pdf

k-Valued Non-Associative Lambek Grammars are Learnable from.. - Bechet, Foret (2003)   (Correct)
are Learnable from Function-Argument Structures Denis Bechet 1 Annie Foret 2 IRISA, INRIA &Universite
class that generates the examples. 1 Email: Denis.Bechet@irisa.fr 2 Email: Annie.Foret@irisa.fr c
www.irisa.fr/prive/foret/wollic-final.pdf

Universal Interaction Systems with Only Two Agents - Bechet   (Correct)
Interaction Systems with Only Two Agents Denis Bechet LIPN -UPRES-A 7030 Institut Galil'ee
J.B. Cl'ement 93430 VILLETANEUSE France Denis.Bechet@lipn.univ-paris13.fr Abstract. In the
www-lipn.univ-paris13.fr/~bechet/RTA01.ps

Interface in Linear Logic: A Finite System of Generators - Bechet   (Correct)
239 54506 Vandoeuvre-les-Nancy, France e-mail: Denis.Bechet@loria.fr Abstract Linear Logic [Gir87] is a
in Linear Logic: A Finite System of Generators Denis Bechet
www-lipn.univ-paris13.fr/~bechet/Publications/WoLLIC96.ps

Partial Evaluation and Distributed Systems - Bechet   (Correct)
Partial Evaluation and Distributed Systems Denis Bechet CRIN-CNRS &INRIA Lorraine Campus scientique,
Partial Evaluation and Distributed Systems Denis Bechet
www-lipn.univ-paris13.fr/~bechet/Publications/Draft93.ps

Second Order Connectives and Proof Transformations in Linear Logic - Bechet   (Correct)
and Proof Transformations in Linear Logic Denis Bechet LIPN -Institut Galil'ee Universit'e Paris 13
and Proof Transformations in Linear Logic Denis Bechet
www-lipn.univ-paris13.fr/~bechet/Publications/Draft96.ps

Limix: a Partial Evaluator for Partially Static Structures - Bechet   (Correct)
Evaluator for Partially Static Structures Denis Bechet CRIN-CNRS &INRIA Lorraine Campus scientique,
54506 Vand#uvre-les-Nancy Cedex France e-mail: Denis.Bechet@loria.fr Abstract Partial evaluators
www-lipn.univ-paris13.fr/~bechet/Publications/Draft94.ps

Try your query at:   Google (CiteSeer)   Google (Web)   Yahoo!   MSN   CSB   DBLP

CiteSeer.IST - Copyright Penn State and NEC