absorption < abstract < abstraction

Facettes : Author.f AffPays.f AffRegion.f AffVille.f AffOrg.f KwdFr.f Mesh.f MeshFr.f Teeft.f

List of bibliographic references indexed by abstract

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

Ident.	Authors (with country if any)	Title
000198 (2015-12-11)	Sylvain Pogodalla [France]	Functional Approach to Tree-Adjoining Grammars and Semantic Interpretation: an Abstract Categorial Grammar Account
000440 (2015-07-22)	Jilles Steeve Dibangoye [France] ; Christopher Amato [États-Unis] ; Olivier Buffet [France] ; François Charpillet [France]	Exploiting separability in multiagent planning with continuous-state mdps (extended abstract)
000814 (2015)	Philippe De Groote [France]	Abstract Categorial Parsing as Linear Logic Programming
000A69 (2014-07)	Hubert Comon-Lundh [France] ; Véronique Cortier [France] ; Guillaume Scerri [France]	A tool for automating the computationally complete symbolic attacker (Extended Abstract)
000E99 (2013-12-11)	Florent Pompigne [France]	Logical modelization of language and Abstract Categorial Grammars
000F91 (2013-10-14)	Aleksandre Maskharashvili [France] ; Sylvain Pogodalla [France]	Constituency and Dependency Relationship from a Tree Adjoining Grammar and Abstract Categorial Grammar Perspective
001731 (2013)	Davide Grossi [Royaume-Uni]	Abstract argument games via modal logic
001C31 (2012-02-15)	Soumeya Hernane [Algérie] ; Jens Gustedt [France] ; Mohamed Benyettou [Algérie]	A Dynamic Distributed Algorithm for Read Write Locks (extended abstract)
001C52 (2012-01-01)	Stefano Galatolo [Italie] ; Mathieu Hoyrup [France] ; Cristobal Rojas [Chili]	Statistical properties of dynamical systems - simulation and abstract computation.
001C90 (2012)	Sylvain Pogodalla [France] ; Florent Pompigne [France]	Controlling Extraction in Abstract Categorial Grammars
001F70 (2011-12-05)	Stéphane Martin [France] ; Mehdi Ahmed-Nacer [France] ; Pascal Urso [France]	Abstract unordered and ordered trees CRDT
002243 (2011-07-05)	Manamiary Bruno Andriamiarina [France] ; Dominique Méry [France]	Stepwise Development of Distributed Vertex Colouring Algorithms (Abstract)
002244 (2011-07-05)	Manamiary Bruno Andriamiarina [France]	Stepwise Development of Distributed Algorithms (Research Abstract)
002259 (2011-06-30)	Véronique Cortier [France] ; Bogdan Warinschi	A composable computational soundness notion (Abstract)
002485 (2011-01)	Stefano Galatolo [Italie] ; Mathieu Hoyrup [France] ; Cristobal Rojas [Canada]	Dynamics and abstract computability: computing invariant measures
002535 (2011)	Philippe De Groote [France] ; Sylvain Pogodalla [France] ; Carl Pollard [États-Unis]	About Parallel and Syntactocentric Formalisms: A Perspective from the Encoding of Convergent Grammar into Abstract Categorial Grammar
002774 (2011)		Abstract
002C09 (2010-06-30)	Bruno Woltzenlogel Paleo [France] ; Ekaterina Lebedeva [France]	Using Proofs to Compute Implicatures [Abstract]
002C10 (2010-06-30)	Bruno Woltzenlogel Paleo [France]	Proof Compression with the CIRes Method [Abstract]
003171 (2010)	Guillaume Burel [France] ; Claude Kirchner [France]	Regaining cut admissibility in deduction modulo using abstract completion
003224 (2010)	Otfried Cheong [Corée du Sud] ; Xavier Goaoc [France] ; Cyril Nicaud [France]	Set Systems and Families of Permutations with Small Traces (abstract)

---

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/Title.i -k "abstract" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/Title.i  \
                -Sk "abstract" \
         | 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=    Title.i
   |clé=    abstract
}}

---

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