Titre (en)
Exploration
Accueil
Racine
Exploration
Accueil
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine - Exploration (Accueil)

Index « Titre (en) » - entrée « inductive »
Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.
inductiue < inductive < industrial  Facettes :

List of bibliographic references indexed by inductive

Number of relevant bibliographic references: 52.
[0-20] [0 - 20][0 - 50][20-40]**** probable Xml problem ****
Ident.Authors (with country if any)Title
001531 (2013) Claude Kirchner [France] ; Hélène Kirchner [France] ; Fabrice Nahon [France]Narrowing Based Inductive Proof Search
002380 (2011-05-01) Claude Kirchner [France] ; Helene Kirchner [France] ; Fabrice Nahon [France]Narrowing Based Inductive Proof Search
002647 (2011) Carsten Fuhs [Allemagne] ; Jürgen Giesl [Allemagne] ; Michael Parting [Allemagne] ; Peter Schneider-Kamp [Danemark] ; Stephan Swiderski [Allemagne]Proving Termination by Dependency Pairs and Inductive Theorem Proving
003454 (2009-07-26) Santosh K. C. [France] ; Bart Lamiroy [France] ; Jean Philippe Ropers [France]Inductive Logic Programming for Symbol Recognition
003465 (2009-07-21) Bart Lamiroy [France] ; Jean-Philippe Ropers [France]Assessing Inductive Logic Programming Classification Quality by Image Synthesis
003942 (2009) Fabrice Nahon [France] ; Claude Kirchner [France] ; Hélène Kirchner [France] ; Paul Brauner [France]Inductive proof search modulo
003969 (2009) Matthias Horbach [Allemagne] ; Christoph Weidenbach [Allemagne]Deciding the Inductive Validity of ∀ ∃ * Queries
003A23 (2009) A. Asperti [Italie] ; W. Ricciotti [Italie] ; C. Sacerdoti Coen [Italie] ; E. Tassi [Italie]A compact kernel for the calculus of inductive constructions
004617 (2008) Lisa Allali [France] ; Paul Brauner [France]A Semantic Normalization Proof for Inductive Types
004759 (2007-09) Fabrice Nahon [France] ; Claude Kirchner [France] ; Hélène Kirchner [France]Inductive Proof Search Modulo
004C29 (2007) Andreas Abel [Allemagne]Mixed Inductive/Coinductive Types and Strong Normalization
004C96 (2007) Frédéric Blanqui [France] ; Jean-Pierre Jouannaud [France] ; Pierre-Yves Strub [France]Building Decision Procedures in the Calculus of Inductive Constructions
005C37 (2005) Frédéric Blanqui [France]Inductive types in the Calculus of Algebraic Constructions
006002 (2005) Hejer RejebPreuve inductive de terminaison faible : vers une implantation
006050 (2005) Frederic BlanquiInductive types in the Calculus of Algebraic Constructions
006A25