Natural number < Natural numbers < Natural object

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

List of bibliographic references

Number of relevant bibliographic references: 29.
[0-20] [0 - 20][0 - 29][20-28][20-40]

Ident.	Authors (with country if any)	Title
001D12 (2001)	E. A. Cichon [France] ; E. Tahhan-Bittar [Venezuela]	Strictly orthogonal left linear rewrite systems and primitive recursion
001D65 (2001)	Pierre-Etienne Moreau [France] ; Christophe Ringeissen [France] ; Marian Vittek [Slovaquie]	A Pattern-Matching Compiler
001F31 (2001)	He Le Ne Kirchner ; Peter D. Mosses	Algebraic Specifications, Higher‐order Types and Set‐theoretic Models
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
002080 (2000)	Reinhard Pichler	Speeding up Algorithms on Atomic Representations of Herbrand Models via New Redundancy Criteria
002134 (2000)	Hubert Comon [France] ; Robert Nieuwenhuis [Espagne]	Induction=I-Axiomatization+First-Order Consistency
002470 (1998)	E. A. Cichon [France] ; E. Tahhan Bittar [France]	Ordinal recursive bounds for Higman's theorem
002577 (1998)	M. Fernández [France]	Negation Elimination in Empty or Permutative Theories
002650 (1997)	Miki Hermann [France] ; Roman Galbav [France]	Unification of infinite sets of terms schematized by primal grammars
002655 (1997)	E. A. Cichon [France] ; A. Weiermann [France]	Term rewriting theory for the primitive recursive functions
002684 (1997)	Farid Ajili [France] ; Evelyne Contejean [France]	Avoiding slack variables in the solving of linear diophantine equations and inequations
002689 (1997)	Jean-Pierre Jouannaud [France] ; Mitsuhiro Okada [Japon]	Abstract data type systems
002785 (1997)	Ruy J. G. B. De Queiroz	Fourth Workshop on Logic, Language, Information and Computation (WoLLIC'97)
002804 (1997)	Adel Bouhoula [États-Unis]	Automated Theorem Proving by Test Set Induction
002861 (1996)	Martin Russling [Allemagne]	Deriving a class of layer-oriented graph algorithms
002908 (1996)	M. C. F. Ferreira [Pays-Bas] ; H. Zantema [Pays-Bas]	Total termination of term rewriting
002999 (1996)	A. Geser [Allemagne]	An Improved General Path Order
002A22 (1995)	Gregory Kucherov [France] ; Michaël Rusinowitch [France]	Undecidability of ground reducibility for word rewriting systems with variables
002A41 (1995)	Roger Duke [Australie] ; Gordon Rose [Australie] ; Graeme Smith [Australie]	Object-Z: A specification language advocated for the description of standards
002B13 (1995)	Pierre Lescanne [France]	Termination of rewrite systems by elementary interpretations

---

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 "Natural numbers" 

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

---

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