automated construction technology < automated deduction < automated deduction and interactive theorem proving

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 automated deduction

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

Ident.	Authors (with country if any)	Title
002003 (2011-11-14)	Laurent Vigneron [France]	Automated Deduction applied to the Analysis and Verification of Infinite State Systems
006544 (2005)	Silvio Ranise [France] ; Christophe Ringeissen [France] ; Calogero Zarba	Combining Data Structures with Nonstably Infinite Theories using Many-Sorted Logic
006945 (2004)	Siva Anantharaman ; Paliath Narendran ; Michael Rusinowitch	Unification Modulo ACUI Plus Distributivity Axioms
006E32 (2004)	Calogero G. Zarba [France]	C-tableaux
007124 (2004)	Calogero G. Zarba [France] ; Domenico Cantone ; Jacob T. Schwartz	A Decision Procedure for a Fragment of Set Theory Involving Monotone, Additive, and Multiplicative Functions
007522 (2003)	Cesare Tinelli ; Christophe Ringeissen	Unions of Non-Disjoint Theories and Combinations of Satisfiability Procedures
007D46 (2003)	Harald Ganzinger ; Jürgen Stuber [France]	Superposition with Equivalence Reasoning andDelayed Clause Normal Form Transformation
008164 (2002)	Eric Deplagne	Système de preuve modulo récurrence
008478 (2002)	Luc Habert ; Jean-Marc Notin ; Didier Galmiche	LINK : a Proof Environment based on Proof nets
008B77 (2002)	David Déharbe ; Silvio Ranise [France]	BDD-Driven First-Order Satisfiability Procedures (Extended Version)
008F49 (2001)	Alessandro Armando ; Michael Rusinowitch ; Sorin Stratulat	Incorporating Decision Procedures in Implicit Induction
008F95 (2001)	Yannick Chevalier ; Laurent Vigneron	Towards Efficient Automated Verification of Security Protocols
009011 (2001)	Yannick Chevalier ; Laurent Vigneron	A Tool for Lazy Verification of Security Protocols
009046 (2001)	Alexander Bockmayr ; Volker Weispfenning	Solving numerical constraints
009254 (2001)	Georg Gottlob [Autriche] ; Reinhard Pichler [Autriche]	Working with ARMs: Complexity Results on Atomic Representations of Herbrand Models
009541 (2001)	Alessandro Armando ; Silvio Ranise [France] ; Michaël Rusinowitch [France]	Uniform Derivation of Decision Procedures by Superposition
009A10 (2000)	Didier Galmiche	Connection Methods in Linear Logic and Proof nets Construction
009B02 (2000)	Hélène Kirchner	Combining assisted and automated deduction
009B07 (2000)	Florent Jacquemard ; Michael Rusinowitch ; Laurent Vigneron	Compiling and Verifying Security Protocols
00A252 (2000)	Florent Jacquemard [France] ; Michaël Rusinowitch [France] ; Laurent Vigneron	Compiling and Verifying Security Protocols
00A435 (1999)	Laurent Juban	Sur les Problèmes de Complexité en Déduction Automatique :Base de Hilbert, Modèles Uniques et Minimaux

---

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/KwdEn.i -k "automated deduction" 

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

---

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