semantical analyse < semantics < semantics of natural languages

Facettes : Author.f

List of bibliographic references

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

Ident.	Authors (with country if any)	Title
000108 (1984)	S. Ouerghi	Sémantique algébrique d'un langage de programmation supportant le concept des processus communicants
000156 (1985)	J.-P. Finance ; J. Souquières	A method and a language for constructing iterative programs
000572 (1988)	P. Mousel	Implémentation d'une grammaire de cas sous UNIX BSD 4.2 sur le VAX 11/785 du CRIN
000775 (1989)	R. Fiack ; D. Méry	Case Studies in the Statechart Formalism
000807 (1989)	R. Fiack ; D. Méry	On the Relation between Statecharts and SCCS~ ; Some Ideas to Explain the behaviour
000B50 (1991)	K. Tombre ; P. Vaxivière	Structure, Syntax and Semantics in Technical Document Recognition
000D51 (1992)	J. Klein ; L. Romary ; J.-C. Lejosne ; J. Lauvray	Etude sémantique des groupes nominaux en `N1 de N2' : les formes prédicatives
000D52 (1992)	J. Klein ; L. Romary	Meaning Structures within French Prepositional Phrase of the Form : `N de N'
001366 (1994)	J.-M. Pierrel	Représentations conceptuelles et Intelligence Artificielle
001D38 (1997)	Emmanuel Bouyer	Quel lexique pour résoudre les références dans un dialogue homme-machine ?
002066 (1998)	François-Arnould Mathieu ; Bertrand Gaiffe ; Jean-Marie Pierrel	Un modèle de prédiction pour la reconnaissance de commandes vocales
002072 (1998)	François-Arnould Mathieu ; Bertrand Gaiffe ; Jean-Marie Pierrel	A Prediction Model for the Recognition of Vocal Commands
002403 (1998)	Didier Galmiche ; Dominique Larchey-Wendling	From ordered monoids to quantales and Petri nets : completeness results revisited in Intuitionistic Linear Logic
002587 (1999)	Didier Galmiche ; Dominique Larchey-Wendling	From Ordered Monoids to Quantales and Petri Nets : Revised Semantics and Completeness Results in Intuitionistic Linear Logic
002713 (1999)	Bruno Gaujal ; Stefan Haar	Non-Ambiguous Petri Nets
002743 (1999)	Stefan Haar	Occurrence Net Logics
002744 (1999)	Stefan Haar	On Occurrence Net Semantics of Petri Nets
002745 (1999)	Stefan Haar	Properties of Untimed Routed Petri Nets
002828 (1999)	Philippe De Groote ; Catherine Pilière	On the semantics of static exception handling
002858 (1999)	Francois Lamarche	Spaces for linguistic representations and the semantics of linear Logic
002A54 (2000)	Guillaume Bonfante ; Francois Lamarche	A monotone lambda-calculus : the example of ordinal terms

---

Pour manipuler ce document sous Unix (Dilib)

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

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

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

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Crin
   |étape=   Curation
   |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