absolute < abstract < abstraction

Facettes : Author.f AffOrg.f AffPays.f AffRegion.f AffVille.f Teeft.f

List of bibliographic references

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

Ident.	Authors (with country if any)	Title
000674 (2011)		Abstract
000A26 (2009)	Philippe De Groote [France] ; Sylvain Pogodalla [France] ; Carl Pollard [États-Unis]	On the Syntax-Semantics Interface: From Convergent Grammar to Abstract Categorial Grammar
000A80 (2009)		Current literature in abstract
000D74 (2008)	Donald Sannella [Royaume-Uni] ; Andrzej Tarlecki	Observability Concepts in Abstract Data Type Specification, 30 Years Later
000F99 (2007)	Philippe De Groote [France] ; Sarah Maarek [France] ; Ryo Yoshinaka [France]	On Two Extensions of Abstract Categorial Grammars
001282 (2006)	G. Bonfante [France] ; M. Kaczmarek [France] ; J.-Y. Marion [France]	On Abstract Computer Virology from a Recursion Theoretic Perspective
001486 (2005)	G. Bonfante [France] ; M. Kaczmarek [France] ; J. Y. Marion [France]	Toward an Abstract Computer Virology
001584 (2005)	Dominique Martinez [France]	Detailed and abstract phase-locked attractor network models of early olfactory systems
001A93 (2003)	Leo Bachmair [États-Unis] ; Ashish Tiwari ; Laurent Vigneron [France]	Abstract Congruence Closure
002141 (2000)	Assefaw Hadish Gebremedhin [Norvège] ; Isabelle Guérin Lassous [France] ; Jens Gustedt [France] ; Jan Arne Telle [Norvège]	Graph Coloring on a Coarse Grained Multiprocessor (Extended Abstract)
002376 (1999)	Egon Börger [Italie]	High Level System Design and Analysis Using Abstract State Machines
002435 (1999)	Dominique Cansell [France] ; Dominique Méry [France]	Abstract Animator for Temporal Specifications: Application to TLA
002911 (1996)	Pierre Lescanne [France]	The lambda calculus as an abstract data type
002956 (1996)	E. Dillon [France] ; J. Guyard [France] ; G. Wantz [Luxembourg (pays)]	MeDLey: An abstract approach to message passing
002E30 (1993)	Thomas Lehmann [Allemagne] ; Jacques Loeckx [Allemagne]	OBSCURE a specification language for abstract data types
002E61 (1993)	D. Lugiez [France] ; J. L. Moysset [France]	Complement problems and tree automata in AC-like theories (extended abstract)
003147 (1991)	Y. Sun ; M. Haton ; B. Devin	ChemInform Abstract: Intergrating Theorem Proving and Partial Evaluation Techniques for Organic Synthesis and Teaching
003359 (1989)	Stéphane Kaplan [Israël, France] ; Christine Choppy [France]	Abstract rewriting with concrete operators
003444 (1988)	Isabelle Gnaedig [France] ; Claude Kirchner [France] ; Hélène Kirchner [France]	Equational completion in order-sorted algebras extended abstract
003527 (1987)	Stéphane Kaplan [Israël, France] ; Amir Pnueli [Israël]	Specification and implementation of concurrently accessed data structures: An abstract data type approach
003643 (1986)	Gilles Bernot [France] ; Michel Bidott [France] ; Christine Choppy [France]	Abstract implementations and correctness proofs

---

Pour manipuler ce document sous Unix (Dilib)

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

HfdIndexSelect -h $EXPLOR_AREA/Data/Istex/Checkpoint/Title.i -k "abstract" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Istex/Checkpoint/Title.i  \
                -Sk "abstract" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Istex/Checkpoint/biblio.hfd 

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

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