List of bibliographic references indexed by Catalogne
Number of relevant bibliographic references: 51.
[20-40] [
0 - 20][
0 - 50][
40-50][
40-60]
| Ident. | Authors (with country if any) | Title |
|---|
| 004C56 (2007) |
Frédéric Blanqui [France] ; Jean-Pierre Jouannaud [France] ; Albert Rubio [Espagne] | HORPO with Computability Closure: A Reconstruction |
| 004C97 (2007) |
Marçal Rusi Ol [Espagne] ; Philippe Dosch [France] ; Josep Llad S [Espagne] | Boundary Shape Recognition Using Accumulated Length and Angle Information |
| 004D27 (2007) |
Iria Da Cunha [Espagne, États-Unis] ; Silvia Fernández [France] ; Patricia Velázquez Morales [Espagne] ; Jorge Vivaldi [Espagne, États-Unis] ; Eric Sanjuan [France] ; Juan Manuel Torres-Moreno [France, Canada] | A New Hybrid Summarizer Based on Vector Space Model, Statistical Physics and Linguistics |
| 005470 (2006) |
Frédéric Blanqui [France] ; Jean-Pierre Jouannaud [France] ; Albert Rubio [Espagne] | Higher-Order Termination: From Kruskal to Computability |
| 005543 (2006) |
E. Valveny [Espagne] ; P. Dosch [France] ; Adam Winstanley [Irlande (pays)] ; Yu Zhou [Irlande (pays)] ; Su Yang [République populaire de Chine] ; Luo Yan [République populaire de Chine, Hong Kong] ; Liu Wenyin [République populaire de Chine, Hong Kong] ; Dave Elliman [Royaume-Uni] ; Mathieu Delalandre [France] ; Eric Trupin [France] ; Sébastien Adam [France] ; Jean-Marc Ogier [France] | A general framework for the evaluation of symbol recognition methods |
| 006216 (2005) |
Mirtha-Lina Fernández [Cuba] ; Guillem Godoy [Espagne] ; Albert Rubio [Espagne] | Orderings for Innermost Termination |
| 006B06 (2004) |
Philippe Dosch [France] ; Josep Llad S [Espagne] | Vectorial Signatures for Symbol Discrimination |
| 006B23 (2004) |
Ernest Valveny [Espagne] ; Philippe Dosch [France] | Symbol Recognition Contest: A Synthesis |
| 006B45 (2004) |
Miquel Bofill [Espagne] ; Albert Rubio [Espagne] | Redundancy Notions for Paramodulation with Non-monotonic Orderings |
| 006B50 (2004) |
Ernest Valveny [Espagne] ; Philippe Dosch [France] | Performance Evaluation of Symbol Recognition |
| 006C07 (2004) |
Ángel J. Gil [Espagne, États-Unis] ; Miki Hermann [France] ; Gernot Salzer [Autriche] ; Bruno Zanuttini [France] | Efficient Algorithms for Constraint Description Problems over Finite Totally Ordered Domains |
| 006C21 (2004) |
Guillem Godoy [Espagne] ; Ashish Tiwari [États-Unis] | Deciding Fundamental Properties of Right-(Ground or Variable) Rewrite Systems by Rewrite Closure |
| 006C27 (2004) |
Guillem Godoy [Espagne] ; Ashish Tiwari [États-Unis] ; Rakesh Verma [États-Unis] | Characterizing Confluence by Rewrite Closure and Right Ground Term Rewrite Systems |
| 006C89 (2004) |
Ernest Valvenyl [Espagne] ; Philippe Dosch [France] | Symbol recognition contest: A synthesis |
| 007883 (2003) |
Mercè Avellanet ; Meritxell Fiter ; Eva Cirera [Espagne] ; Margarida Coll | Prevalence of urinary incontinence in Andorra: impact on women's health. |
| 009D22 (2000) |
H. Everett [France] ; C. T. Hoàng [France, Canada] ; K. Kilakos [France, Royaume-Uni] ; M. Noy [France, Espagne] | Planar segment visibility graphs |
| 009E55 (2000) |
Jordi Levy [Espagne] ; Margus Veanes [Colombie] | On the Undecidability of Second-Order Unification |
| 009E62 (2000) |
Miquel Bofill [Espagne] ; Guillem Godoy [Espagne] ; Robert Nieuwenhuis [Espagne] ; Albert Rubio [Espagne] | Modular Redundancy for Theorem Proving |
| 009E81 (2000) |
Hubert Comon [France] ; Robert Nieuwenhuis [Espagne] | Induction=I-Axiomatization+First-Order Consistency |
| 00A900 (1999) |
Xavier Franch [Espagne] ; Josep M. Rib [Espagne] | Using UML for Modelling the Static Part of a Software Process |
| 00A938 (1999) |
Robert Nieuwenhuis [Espagne] ; José Miguel Rivero [Espagne] | Solved Forms for Path Ordering Constraints |
List of associated Author.i
Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Exploration
HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/AffRegion.i -k "Catalogne"
HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/AffRegion.i \
-Sk "Catalogne" \
| HfdSelect -Kh $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien
|wiki= Wicri/Lorraine
|area= InforLorV4
|flux= Main
|étape= Exploration
|type= indexItem
|index= AffRegion.i
|clé= Catalogne
}}
| This area was generated with Dilib version V0.6.33.
Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022 |  |
