1 |
Proof-theoretic aspects of NLλ
|
|
|
|
In: https://hal-lirmm.ccsd.cnrs.fr/lirmm-02973980 ; 2020 (2020)
|
|
BASE
|
|
Show details
|
|
2 |
Parsimonious Vole : a Systemic Functional Parser for English ...
|
|
|
|
BASE
|
|
Show details
|
|
3 |
Specifying and verifying program transformations with PTRANS
|
|
|
|
BASE
|
|
Show details
|
|
4 |
Annotation sémantique du French Treebank à l'aide de la réécriture modulaire de graphes
|
|
|
|
In: Conférence annuelle sur le Traitement Automatique des Langues - TALN'12 ; https://hal.inria.fr/hal-00760629 ; Conférence annuelle sur le Traitement Automatique des Langues - TALN'12, ATALA, Jun 2012, Grenoble, France. pp.293-306 (2012)
|
|
BASE
|
|
Show details
|
|
5 |
Grew : un outil de réécriture de graphes pour le TAL
|
|
|
|
In: 12ième Conférence annuelle sur le Traitement Automatique des Langues (TALN'12) ; https://hal.inria.fr/hal-00760637 ; 12ième Conférence annuelle sur le Traitement Automatique des Langues (TALN'12), ATALA, Jun 2012, Grenoble, France. pp.1-2 (2012)
|
|
BASE
|
|
Show details
|
|
6 |
Semantic Annotation of the French Treebank with Modular Graph Rewriting
|
|
|
|
In: META-RESEARCH Workshop on Advanced Treebanking, LREC 2012 Workshop ; https://hal.inria.fr/hal-00760577 ; META-RESEARCH Workshop on Advanced Treebanking, LREC 2012 Workshop, META-NET, May 2012, Istanbul, Turkey (2012)
|
|
BASE
|
|
Show details
|
|
7 |
Enrichissement de structures en dépendances par réécriture de graphes
|
|
|
|
In: Traitement Automatique des Langues Naturelles (TALN) ; https://hal.inria.fr/inria-00579251 ; Traitement Automatique des Langues Naturelles (TALN), Jun 2011, Montpellier, France (2011)
|
|
BASE
|
|
Show details
|
|
8 |
Modular Graph Rewriting to Compute Semantics
|
|
|
|
In: 9th International Conference on Computational Semantics - IWCS 2011 ; https://hal.inria.fr/inria-00579244 ; 9th International Conference on Computational Semantics - IWCS 2011, Jan 2011, Oxford, United Kingdom. pp.65--74 (2011)
|
|
BASE
|
|
Show details
|
|
9 |
Deep Semantics for Dependency Structures
|
|
|
|
In: 12th International Conference on Computational Linguistics and Intelligent Text Processing - CICLing 2011 ; https://hal.inria.fr/hal-00639825 ; 12th International Conference on Computational Linguistics and Intelligent Text Processing - CICLing 2011, Feb 2011, Tokyo, Japan. pp.277--288, ⟨10.1007/978-3-642-19400-9_22⟩ (2011)
|
|
BASE
|
|
Show details
|
|
10 |
Letter-to-phoneme conversion by inference of rewriting rules
|
|
|
|
In: Interspeech ; https://hal.inria.fr/hal-00844000 ; Interspeech, ISCA, Sep 2009, Brighton, United Kingdom. pp.1299-1302 ; http://www.isca-speech.org/archive/archive_papers/interspeech_2009/papers/i09_1299.pdf (2009)
|
|
BASE
|
|
Show details
|
|
11 |
Grammaires d'unification polarisées
|
|
|
|
In: TALN 2004 ; https://hal.archives-ouvertes.fr/hal-00170540 ; TALN 2004, Apr 2004, Fès, Maroc (2004)
|
|
BASE
|
|
Show details
|
|
12 |
MONSTR II - Suspending Semantics and Independence
|
|
|
|
In: http://www.cs.man.ac.uk/~banach/some.pubs/MONSTR-II.ps.gz (1997)
|
|
BASE
|
|
Show details
|
|
13 |
MONSTR I - Fundamental Issues and the Design of MONSTR
|
|
|
|
In: http://www.cs.man.ac.uk/~banach/some.pubs/MONSTR-I.ps.gz (1996)
|
|
BASE
|
|
Show details
|
|
14 |
Fundamental issues and the design of MONSTR
|
|
|
|
In: http://www.cs.man.ac.uk/~banach/some.pubs/MONSTR-I.pdf (1996)
|
|
BASE
|
|
Show details
|
|
15 |
MONSTR I — Fundamental Issues and the Design of
|
|
|
|
In: http://www.jucs.org/jucs_2_4/monstr_i_fundamental_issues/Banach_R.pdf
|
|
BASE
|
|
Show details
|
|
16 |
Modelling Calculi with Name Mobility using Graphs with Equivalences
|
|
|
|
In: http://rap.dsi.unifi.it/sensoria/files/176_1_005.pdf
|
|
BASE
|
|
Show details
|
|
17 |
Modelling Calculi with Name Mobility using Graphs with Equivalences
|
|
|
|
In: http://www.math.unipd.it/~baldan/Papers/Soft-copy-pdf/Termgraph07.pdf
|
|
BASE
|
|
Show details
|
|
|
|