recursion < recursive < recursives

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 recursive

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

Ident.	Authors (with country if any)	Title
000441 (2015-07-18)	Andrew Reynolds [Suisse] ; Jasmin Christian Blanchette [France] ; Cesare Tinelli [France, États-Unis]	Model Finding for Recursive Functions in SMT
000611 (2015-03-12)	Mathieu Hoyrup [France]	A Rice-like theorem for primitive recursive functions
001703 (2013)	Gisela Klette [Nouvelle-Zélande]	Recursive computation of minimum-length polygons
001B68 (2012-04-16)	Houari Mahfoud [France] ; Abdessamad Imine [France]	Secure querying of recursive XML views: a standard xpath-based technique
001D04 (2012)	Walid Gomaa [France]	A Survey of Recursive Analysis and Moore's Notion of Real Computation
001F63 (2011-12-12)	Houari Mahfoud [France] ; Abdessamad Imine [France]	Secure Querying of Recursive XML Views: A Standard XPath-based Technique
002139 (2011-09-09)	Bruno Scherrer [France] ; Matthieu Geist [France]	Recursive Least-Squares Learning with Eligibility Traces
002192 (2011-08-02)	Mathilde Arnaud ; Véronique Cortier [France] ; Stéphanie Delaune	Deciding security for protocols with recursive tests
002413 (2011-03-21)	Pierre-Cyrille Héam [France] ; Cyril Nicaud [France]	Seed, an Easy-to-Use Random Generator of Recursive Data Structures for Testing
002644 (2011)	Gisela Klette [Nouvelle-Zélande]	Recursive Calculation of Relative Convex Hulls
003030 (2010)	Michael Codish [Israël] ; Jürgen Giesl [Allemagne] ; Peter Schneider-Kamp [Danemark] ; René Thiemann [Autriche]	SAT Solving for Termination Proofs with Recursive Path Orders and Dependency Pairs
003334 (2009-11-06)	Walid Gomaa [France]	Polynomial time computation in the context of recursive analysis
003442 (2009-08-10)	Olivier Bournez [France] ; Walid Gomaa [France] ; Emmanuel Hainry [France]	Implicit complexity in recursive analysis
003871 (2009)	Michael Leuschel [Allemagne] ; Dominique Cansell [France] ; Michael Butler [Royaume-Uni]	Validating and Animating Higher-Order Recursive Functions in B
003C42 (2009)	Pierre-Cyrille Heam [France] ; Cyril Nicaud [France]	Seed: an easy to use random generator of recursive data structures for testing
004B95 (2007)	Peter Schneider-Kamp [Allemagne] ; René Thiemann [Allemagne] ; Elena Annov [Israël] ; Michael Codish [Israël] ; Jürgen Giesl [Allemagne]	Proving Termination Using Recursive Path Orders and SAT Solving
004E13 (2007)	Michael Leuschel ; Dominique Cansell [France] ; Michael Butler	Validating and Animating Higher-Order Recursive Functions in B
005230 (2006)	Olivier Bournez [France] ; Emmanuel Hainry [France]	Recursive Analysis Characterized as a Class of Real Recursive Functions
005C58 (2005)	Olivier Bournez ; Emmanuel Hainry	Elementarily Computable Functions Over the Real Numbers and R-Sub-Recursive Functions
006054 (2005)	Thomas Voegtlin	Recursive Principal Components Analysis
006100 (2005)	Thomas Voegtlin [France]	Recursive principal components analysis.

---

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/Title.i -k "recursive" 

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

---

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