Closet software measurers < Closure < Closure chain

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

List of bibliographic references

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

Ident.	Authors (with country if any)	Title
000810 (2010)		Oral and Poster Presentations
001487 (2005)	Tran Dan Thu [Viêt Nam] ; Tran Hanh Nhi [Viêt Nam] ; Dong Thi Bich Thuy [Viêt Nam] ; Bernard Coulette [France] ; Xavier Cregut [France]	Topological properties for characterizing well‐formedness of process components
001730 (2004)	Leigh F. Bacher [États-Unis] ; William P. Smotherman [États-Unis]	Systematic temporal variation in the rate of spontaneous eye blinking in human infants
001808 (2004)	Stephanie Brewer ; Trevor Williams [États-Unis]	Finally, a sense of closure? Animal models of human ventral body wall defects
001984 (2003)	Didier Galmiche ; Daniel Me Ry	Semantic Labelled Tableaux for Propositional BI⊥
001F63 (2000)	Adel Bouhoula [États-Unis, France] ; Jean-Pierre Jouannaud [France] ; José Meseguer [États-Unis]	Specification and proof in membership equational logic
002010 (2000)	Delia Kesner [France]	Confluence of extensional and non-extensional λ-calculi with explicit substitutions
002135 (2000)		Index
002236 (1999)		Cumulative index volumes 1–200
002399 (1999)	Joost Engelfriet [Pays-Bas]	Derivation Trees of Ground Term Rewriting Systems
002462 (1998)	M. R. K. Krishna Rao [Inde] ; Deepak Kapur [Inde] ; R. K. Shyamasundar [Inde]	Transformational methodology for proving termination of logic programs
002465 (1998)	D. Larchey-Wendling [France] ; D. Galmiche [France]	Provability in Intuitionistic Linear Logic from a New Interpretation on Petri nets
002584 (1998)	Roberto Segala [Italie] ; Rainer Gawlick ; J Rgen S Gaard-Andersen [Danemark] ; Nancy Lynch	Liveness in Timed and Untimed Systems
002607 (1998)	C. Hintermeier [France] ; C. Kirchner [France] ; H. Kirchner [France]	Dynamically Typed Computations for Order-sorted Equational Presentations
002651 (1997)	Manuel M. T. Chakravarty [Japon] ; Hendrik C. R. Lock [Allemagne]	Towards the uniform implementation of declarative languages
002999 (1996)	A. Geser [Allemagne]	An Improved General Path Order
002A36 (1995)	Reidar Conradi [Norvège] ; Chunnian Liu [République populaire de Chine] ; Marianne Hagaseth [Norvège]	Planning support for cooperating transactions in EPOS
002A73 (1995)	Rolf Backofen [Allemagne]	A complete axiomatization of a theory with feature and arity constraints
002E30 (1993)	Thomas Lehmann [Allemagne] ; Jacques Loeckx [Allemagne]	OBSCURE a specification language for abstract data types
002E55 (1993)	Marisa Navarro [Espagne] ; Fernando Orejas [Espagne] ; Jean-Luc Remy [France]	Contextual rewriting as a sound and complete proof method for conditional LOG-specifications
003138 (1991)	Christiane Notarmarco [Royaume-Uni] ; Rod Mulvey [Royaume-Uni]	Formal aspects of computing: LATEX style guide for authors

---

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/Teeft.i -k "Closure" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Istex/Checkpoint/Teeft.i  \
                -Sk "Closure" \
         | 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=    Teeft.i
   |clé=    Closure
}}

---

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