Electronic Notes in Discrete Mathematics < Electronic Notes in Theoretical Computer Science < Electronic Proceedings in Theoretical Computer Science

Facettes : Author.f

List of bibliographic references

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

Ident.	Authors (with country if any)	Title
000545 (2003)	Anamaria Martins Moreira ; Christophe Ringeissen ; Anderson Santana	A Tool Support for Reusing ELAN Rule-Based Components
000E53 (2009-03-28)	Claude Kirchner ; Helene Kirchner ; Anderson Santana De Oliveira	Analysis of Rewrite-Based Access Control Policies
000F38 (2014-06-12)	Dariusz Biernacki ; Sergueï Lenglet	Applicative Bisimilarities for Call-by-Name and Call-by-Value λμ-Calculus
001106 (2003-06)	Abdessamad Imine ; Pascal Urso	Automatic Detection of Copies Divergence in Collaborative Editing Systems
001568 (2009)	Diego Caminha B. De Oliveira ; David Déharbe ; Pascal Fontaine	Combining Decision Procedures by (Model-)Equality Propagation
001710 (2010)	Pierre-Cyrille Héam ; Olga Kouchnarenko ; Jérôme Voinot	Component Simulation-based Substitutivity Managing QoS and Composition Issues
001720 (2010)	Fahima Cheikh ; Pierre-Cyrille Héam ; Olga Kouchnarenko	Composition of Services with Constraints
002696 (2005)	Dominique Larchey-Wendling	Gödel-Dummett counter-models through matrix computation
002A64 (2007)	Dominique Cansell ; Dominique Méry	Incremental Parametric Development of Greedy Algorithms
002A86 (2001)	Olivier Fissore ; Isabelle Gnaedig ; Hélène Kirchner	Induction for termination with local strategies
003808 (2009-10)	Frédéric Dadeau ; Pierre-Cyrille Héam ; Jocelyn Levrey	On the Use of Uniform Random Generation of Automata for Testing
003A25 (2003)	Olivier Fissore ; Isabelle Gnaedig ; Hélène Kirchner	Outermost ground termination
003D81 (1998)	Didier Galmiche ; Bruno Martin	Proof nets Construction and Automated Deduction in Non-commutative Linear Logic - extended abstract -
003D88 (2001)	Didier Galmiche ; Jean-Marie Notin	Proof-search and Proof nets in Mixed Linear Logic
003E27 (1998)	Didier Galmiche ; Dominique Larchey-Wendling	Provability in Intuitionistic Linear Logic from a New Interpretation on Petri nets - extended abstract -
003E37 (2006)	Samir Chouali ; Maritta Heisel ; Jeanine Souquières	Proving Component Interoperability with B Refinement
003E75 (2000)	Didier Galmiche ; Dominique Larchey-Wendling	Quantales as completions of ordered monoids: revised semantics for Intuitionistic Linear Logic
004059 (2008)	Dominique Cansell ; Paul Gibson ; Dominique Méry	Refinement: A Constructive Approach to Formal Software Design for a Secure e-voting Interface
004158 (2005)	Didier Galmiche ; Daniel Mery	Resource Graphs and Countermodels in Resource Logics
004206 (2003-06-08)	Horatiu Cirstea ; Claude Kirchner ; Luigi Liquori ; Benjamin Wack	Rewrite Strategies in the Rewriting Calculus
004211 (2002-09-19)	Horatiu Cirstea ; Claude Kirchner ; Luigi Liquori	Rewriting Calculus with(out) Types

---

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Hal/Corpus

HfdIndexSelect -h $EXPLOR_AREA/Data/Hal/Corpus/HalJournal.i -k "Electronic Notes in Theoretical Computer Science" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Hal/Corpus/HalJournal.i  \
                -Sk "Electronic Notes in Theoretical Computer Science" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Hal/Corpus/biblio.hfd 

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Hal
   |étape=   Corpus
   |type=    indexItem
   |index=    HalJournal.i
   |clé=    Electronic Notes in Theoretical Computer Science
}}

---

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