Substitutes increase < Substitution < Substitution algebra

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 Substitution

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

Ident.	Authors (with country if any)	Title
002769 (2011)	Ivan Berlin [France] ; Nelly Jacob [France] ; Mathieu Coudert [France] ; Jean Perriot [France] ; Laurette Schultz [France] ; Nicolas Rodon [France]	Adjustment of nicotine replacement therapies according to saliva cotinine concentration: the ADONIS trial—a randomized study in smokers with medical comorbidities
003826 (2009)	Victoria J. Derose [États-Unis]	Chapter 5 - Characterization of Nucleic Acid–Metal Ion Binding by Spectroscopic Techniques
004429 (2008)	Ricardo Caferra [France] ; Nicolas Peltier [France]	Accepting/rejecting propositions from accepted/rejected propositions: A unifying overview
006250 (2005)	Olivier Bournez ; Felipe Cucker ; Paulin Jacobe De Naurois ; Jean-Yves Marion	Implicit Complexity over an Arbitrary Structure: Sequential and Parallel Polynomial Time
007994 (2003)	Didier Galmiche ; Daniel Me Ry	Semantic Labelled Tableaux for Propositional BI⊥
009254 (2001)	Georg Gottlob [Autriche] ; Reinhard Pichler [Autriche]	Working with ARMs: Complexity Results on Atomic Representations of Herbrand Models
009262 (2001)	H. Cirstea [France] ; K. Kirchner [France]	The rewriting calculus - part I
009320 (2001)	N. Peltier [France]	On the decidability of the PVD class with equality
009389 (2001)	He Le Ne Kirchner ; Peter D. Mosses	Algebraic Specifications, Higher‐order Types and Set‐theoretic Models
009400 (2001)	Sorin Stratulat [France]	A General Framework to Build Contextual Cover Set Induction Provers
009D05 (2000)	Horatiu Cirstea [France] ; Claude Kirchner [France]	The simply typed rewriting calculus
009D07 (2000)	Hélène Kirchner [France] ; Isabelle Gnaedig [France]	Termination and normalisation under strategy Proofs in ELAN
009D11 (2000)	Adel Bouhoula [États-Unis, France] ; Jean-Pierre Jouannaud [France] ; José Meseguer [États-Unis]	Specification and proof in membership equational logic
009D41 (2000)	Patrick Viry [Italie]	Input/Output for ELAN
009D51 (2000)	Peter Borovansk ; Claude Kirchner ; Hélène Kirchner ; Pierre-Etienne Moreau ; Marian Vittek	ELAN
009D57 (2000)	Delia Kesner [France]	Confluence of extensional and non-extensional λ-calculi with explicit substitutions
009D69 (2000)	Hélène Kirchner [France] ; Pierre-Etienne Moreau [France]	A reflective extension of ELAN
009D70 (2000)	Daniel Leivant [États-Unis] ; Jean-Yves Marion [États-Unis, France]	A characterization of alternating log time by ramified recurrence
009E04 (2000)	Miki Hermann [France] ; Phokion G. Kolaitis	Unification Algorithms Cannot Be Combined in Polynomial Time
009E27 (2000)	Reinhard Pichler	Speeding up Algorithms on Atomic Representations of Herbrand Models via New Redundancy Criteria
009E55 (2000)	Jordi Levy [Espagne] ; Margus Veanes [Colombie]	On the Undecidability of Second-Order Unification

---

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

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

---

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