Démonstratif < Démonstration automatique < Démonstration automatisée

Facettes : Author.f AffPays.f AffRegion.f AffVille.f AffOrg.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
000378 (2006)	Yannick Chevalier [France] ; Michaël Rusinowitch [France]	Hierarchical combination of intruder theories
000385 (2006)	Pascal Fontaine [France] ; Jean-Yves Marion [France] ; Stephan Merz [France] ; Leonor Prensa Nieto [France] ; Alwen Tiu [France]	Expressiveness + automation + soundness : Towards combining SMT solvers and interactive proof assistants
000398 (2006)	Maria Paola Bonacina [Italie] ; Silvio Ghilardi [Italie] ; Enrica Nicolini [Italie] ; Silvio Ranise [Italie, France] ; Daniele Zucchelli [Italie, France]	Decidability and undecidability results for nelson-oppen and rewrite-based decision procedures
000458 (2005)	Tomasz Truderung [France, Pologne]	Regular protocols and attacks with regular knowledge
000504 (2005)	Frédéric Blanqui [France]	Decidability of type-checking in the calculus of algebraic constructions with size annotations
000507 (2005)	Véronique Cortier [France] ; Bogdan Warinschi [États-Unis]	Computationally sound, automated proofs for security protocols
000578 (2004)	Francis Alexandre [France] ; Khaled Bsaïes [Tunisie] ; Moussa Demba [Tunisie]	Predicate synthesis from inductive proof attempt of faulty conjectures
000618 (2004)	Dominique Larchey-Wendling [France]	Counter-model search in Gödel-Dummett logics
000664 (2003)	Siva Anantharaman [France] ; Paliath Narendran [États-Unis] ; Michael Rusinowitch [France]	Unification modulo ACUI plus homomorphisms/distributivity
000672 (2003)	Harald Ganzinger [Allemagne] ; Jürgen Stuber [France]	Superposition with equivalence reasoning and delayed clause normal form transformation
000681 (2003)	Eric Deplagne [France] ; Claude Kirchner [France] ; Hélène Kirchner [France] ; Quang Huy Nguyen [France]	Proof search and proof check for equational and inductive theorems
000690 (2003)	Christophe Ringeissen [France]	Matching in a class of combined non-disjoint theories
000719 (2003)	Jean-Raymond Abrial ; Dominique Cansell [France]	Click'n prove: Interactive proofs within Set Theory
000762 (2002)	Abdessamad Imine [Tunisie] ; Yahya Slimani [Tunisie] ; Sorin Stratulat [France]	Using automated induction-based theorem provers for reasoning about concurrent systems
000796 (2002)	L. Habert [France] ; J.-M. Notin [France] ; D. Galmiche [France]	LINK: A proof environment based on proof nets
000813 (2002)	Eric Deplagne [France] ; Claude Kirchner [France]	Deduction versus computation: The case of induction
000829 (2002)	Yannick Chevalier [France] ; Laurent Vigneron [France]	Automated unbounded verification of security protocols
000874 (2001)	Alessandro Armando [Italie] ; Silvio Ranise [Italie, France] ; Michaël Rusinowitch [France]	Uniform derivation of decision procedures by superposition
000A63 (1999)	P. De Groote [France]	The non-associative Lambek calculus with product in polynomial time
000B30 (1998)	E. Monfroy [Pays-Bas] ; C. Ringeissen [France]	SoleX : A domain-independent scheme for constraint solver extension
000B34 (1998)	E. Melis [Allemagne] ; J. Lieber [France] ; A. Napoli [France]	Reformulation in case-based reasoning

---

List of associated Author.i

Nombre de documents	Descripteur
2	A. Napoli
2	C. Kirchner
2	Claude Kirchner
2	Eric Deplagne
2	J. Lieber
2	Michaël Rusinowitch
2	Silvio Ranise
2	Yannick Chevalier
1	Abdessamad Imine
1	Alessandro Armando
1	Alwen Tiu
1	B. Chetali
1	B. Heyd
1	Bogdan Warinschi
1	C. Lynch
1	C. Ringeissen
1	C. Scharff
1	Christophe Ringeissen
1	D. Galmiche
1	Daniele Zucchelli
1	Dominique Cansell
1	Dominique Larchey-Wendling
1	E. Melis
1	E. Monfroy
1	Enrica Nicolini
1	Francis Alexandre
1	Frédéric Blanqui
1	H. Kirchner
1	Harald Ganzinger
1	Hélène Kirchner
1	J.-M. Notin
1	Jean-Raymond Abrial
1	Jean-Yves Marion
1	Jürgen Stuber
1	Khaled Bsaïes
1	L. Habert
1	Laurent Vigneron
1	Leonor Prensa Nieto
1	M. Hermann
1	M. Rusinowitch
1	Maria Paola Bonacina
1	Michael Rusinowitch
1	Moussa Demba
1	N. Doggaz
1	P. De Groote
1	Paliath Narendran
1	Pascal Fontaine
1	Quang Huy Nguyen
1	R. Curien
1	Silvio Ghilardi
1	Siva Anantharaman
1	Sorin Stratulat
1	Stephan Merz
1	Tomasz Truderung
1	Véronique Cortier
1	Yahya Slimani

---

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/PascalFrancis/Checkpoint

HfdIndexSelect -h $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/FC03.fr.i -k "Démonstration automatique" 

HfdIndexSelect -h $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/FC03.fr.i  \
                -Sk "Démonstration automatique" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/biblio.hfd 

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    PascalFrancis
   |étape=   Checkpoint
   |type=    indexItem
   |index=    FC03.fr.i
   |clé=    Démonstration automatique
}}

---

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