Keywords
Checkpoint
Hal
Racine
Checkpoint
Hal
Exploration
Accueil
Racine
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine - Checkpoint (Hal)

Index « Keywords » - entrée « semantics »
Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.
semantic wikis < semantics < semantics enrichment  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 13.
Ident.Authors (with country if any)Title
000465 (2015-06-22) Laurence Danlos [France] ; Aleksandre Maskharashvili [France] ; Sylvain Pogodalla [France]Grammaires phrastiques et discursives fondées sur les TAG : une approche de D-STAG avec les ACG
000591 (2015-03-19) Jiri Marsik [France] ; Maxime Amblard [France]Pragmatic Side Effects
000830 (2014-11) Laurence Danlos [France] ; Philippe De Groote [France] ; Sylvain Pogodalla [France]A Type-Theoretic Account of Neg-Raising Predicates in Tree Adjoining Grammars
001F67 (2011-01-12) Guillaume Bonfante [France] ; Bruno Guillaume [France] ; Mathieu Morey [France] ; Guy Perrier [France]Modular Graph Rewriting to Compute Semantics
002602 (2010-04-29) Nicholas Asher [France] ; Sylvain Pogodalla [France]A Montagovian Treatment of Modal Subordination
002870 (2010) Marie-Dominique Devignes [France] ; Philippe Franiatte ; Nizar Messai ; Emmanuel Bresso ; Amedeo Napoli [France] ; Malika Smaïl-Tabbone [France]BioRegistry: Automatic extraction of metadata for biological database retrieval and discovery
002948 (2009-11-25) Guillaume Bonfante [France] ; Jean-Yves Marion [France] ; Daniel Reynaud [France]A computability perspective on self-modifying programs
003078 (2008-11-07) Marilisa Amoia [France]Linguistic based computational treatment of textual entailment recognition
004453 (2005-12-09) Nicolas Biri [France]Spatial logic with resources, tree models and applications
004E86 (2004) Susanne Salmon-Alt [France] ; Laurent Romary [France]Data Categories for a Normalized Reference Annotation Scheme.
006132 (2000) Didier Galmiche [France] ; David PymTheoretical Computer Science - Special issue on Proof search in Type-theoretic Languages
006177 (2000) Didier Galmiche [France] ; David PymProof-search in Type-theoretic Languages: An Introduction
006330 (2000) Guillaume Bonfante [France] ; François Lamarche [France]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/Hal/Checkpoint

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

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

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

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

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