semantical analyse < semantics < semantics of natural languages

Facettes : Author.f

List of bibliographic references

Number of relevant bibliographic references: 48.
[20-40] [0 - 20][0 - 48][40-47][40-60]

Ident.	Authors (with country if any)	Title
001818 (2000)	Guillaume Bonfante	Constructions d'ordres, analyse de la complexité
001983 (2000)	Didier Galmiche ; Dominique Larchey-Wendling	Quantales as completions of ordered monoids : revised semantics for Intuitionistic Linear Logic
001A59 (2000)	Philippe De Groote ; Catherine Pilière	On the semantics of static exception handling
001A96 (2000)	Didier Galmiche ; Dominique Larchey-Wendling	Resource models and proof-search in Intuitionistic Linear Logic
001A98 (2000)	Didier Galmiche ; David Pym	Proof-search in Type-theoretic Languages : An Introduction
001B68 (2000)		Workshop on Type-theoretic Languages : Proof-search and Semantics
001B71 (2000)	Guillaume Bonfante ; Francois Lamarche	A monotone lambda-calculus : the example of ordinal terms
001B89 (2000)	Didier Galmiche ; David Pym	Theoretical Computer Science - Special issue on Proof search in Type-theoretic Languages
001D96 (1999)	Stefan Haar	Properties of Untimed Routed Petri Nets
001E29 (1999)	Bruno Gaujal ; Stefan Haar	Non-Ambiguous Petri Nets
001E65 (1999)	Stefan Haar	On Occurrence Net Semantics of Petri Nets
001E83 (1999)	Didier Galmiche ; Dominique Larchey-Wendling	From Ordered Monoids to Quantales and Petri Nets : Revised Semantics and Completeness Results in Intuitionistic Linear Logic
001F17 (1999)	Philippe De Groote ; Catherine Pilière	On the semantics of static exception handling
001F53 (1999)	Francois Lamarche	Spaces for linguistic representations and the semantics of linear Logic
002064 (1999)	Stefan Haar	Occurrence Net Logics
002242 (1998)	François-Arnould Mathieu ; Bertrand Gaiffe ; Jean-Marie Pierrel [France]	A Prediction Model for the Recognition of Vocal Commands
002257 (1998)	François-Arnould Mathieu ; Bertrand Gaiffe ; Jean-Marie Pierrel [France]	Un modèle de prédiction pour la reconnaissance de commandes vocales
002286 (1998)	Didier Galmiche ; Dominique Larchey-Wendling	From ordered monoids to quantales and Petri nets : completeness results revisited in Intuitionistic Linear Logic
002506 (1997)	Emmanuel Bouyer	Quel lexique pour résoudre les références dans un dialogue homme-machine ?
003188 (1994)	Jean-Marie Pierrel [France]	Représentations conceptuelles et Intelligence Artificielle
003535 (1992)	J. Klein ; L. Romary ; J.-C. Lejosne ; J. Lauvray	Etude sémantique des groupes nominaux en `N1 de N2' : les formes prédicatives

---

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Crin/Checkpoint

HfdIndexSelect -h $EXPLOR_AREA/Data/Crin/Checkpoint/KwdEn.i -k "semantics" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Crin/Checkpoint/KwdEn.i  \
                -Sk "semantics" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Crin/Checkpoint/biblio.hfd 

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Crin
   |étape=   Checkpoint
   |type=    indexItem
   |index=    KwdEn.i
   |clé=    semantics
}}

---

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