automated construction technology < automated deduction < automated deduction and proof search

Facettes : Author.f

List of bibliographic references

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

Ident.	Authors (with country if any)	Title
000773 (2004)	Siva Anantharaman ; Paliath Narendran ; Michael Rusinowitch	Unification Modulo ACUI Plus Distributivity Axioms
000A53 (2003)	Cesare Tinelli ; Christophe Ringeissen	Unions of Non-Disjoint Theories and Combinations of Satisfiability Procedures
000E79 (2002)	Eric Deplagne	Système de preuve modulo récurrence
001166 (2002)	Luc Habert ; Jean-Marc Notin ; Didier Galmiche	LINK : a Proof Environment based on Proof nets
001565 (2001)	Alessandro Armando ; Michael Rusinowitch ; Sorin Stratulat	Incorporating Decision Procedures in Implicit Induction
001611 (2001)	Yannick Chevalier ; Laurent Vigneron	Towards Efficient Automated Verification of Security Protocols
001627 (2001)	Yannick Chevalier ; Laurent Vigneron	A Tool for Lazy Verification of Security Protocols
001662 (2001)	Alexander Bockmayr ; Volker Weispfenning	Solving numerical constraints
001956 (2000)	Didier Galmiche	Connection Methods in Linear Logic and Proof nets Construction
001A48 (2000)	Hélène Kirchner	Combining assisted and automated deduction
001A53 (2000)	Florent Jacquemard ; Michael Rusinowitch ; Laurent Vigneron	Compiling and Verifying Security Protocols
001D02 (1999)	Laurent Juban	Sur les Problèmes de Complexité en Déduction Automatique :Base de Hilbert, Modèles Uniques et Minimaux
001D33 (1999)	Laurent Vigneron ; Anita Wasilewska	Rough Sets based Proofs Visualisation
001E22 (1999)	Miki Hermann ; Phokion G. Kolaitis	Computational Complexity of Simultaneous Elementary Matching Problems
001E25 (1999)	Florent Jacquemard ; Michael Rusinowitch ; Laurent Vigneron	Compiling and narrowing cryptographic protocols
001E87 (1999)	Francis Klay ; Michael Rusinowitch ; Sorin Stratulat	Analysing Feature Interactions with Automated Deduction Systems
001F02 (1999)	Didier Galmiche ; Vincent Balat	Labelled Proof Systems for Intuitionistic Provability
002192 (1998)	Denis Lugiez	A Good Class of Tree Automata
002287 (1998)	Francis Klay ; Michael Rusinowitch ; Sorin Stratulat	Analysing Feature Interactions with Automated Deduction Systems
002335 (1998)	Sorin Stratulat	Applying semantic subsumption rules in the context of inductive proofs
002341 (1998)	Narjes Berregeb ; Adel Bouhoula ; Michaël Rusinowitch	Observational Proofs with Critical Contexts

---

Pour manipuler ce document sous Unix (Dilib)

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

HfdIndexSelect -h $EXPLOR_AREA/Data/Crin/Checkpoint/KwdEn.i -k "automated deduction" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Crin/Checkpoint/KwdEn.i  \
                -Sk "automated deduction" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Crin/Checkpoint/biblio.hfd 

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Crin
   |étape=   Checkpoint
   |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