AbsEn.i
Curation
Istex
Racine
Curation
Checkpoint
Istex
Racine
Istex
Exploration
Accueil
Racine
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine - Curation (Istex)

Index « AbsEn.i » - entrée « proving »
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.
provincial < proving < provingtec  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 170.
[0-20] [0 - 20][0 - 50][20-40]
Ident.Authors (with country if any)Title
000098 (2007) Claude Marché [France] ; Hans Zantema [Pays-Bas]The Termination Competition
000101 (1997) U. Franz [France] ; D. Neuenschwander [Allemagne] ; R. Schott [France, Suisse]Gauss laws in the sense of Bernstein and uniqueness of embedding into convolution semigroups on quantum groups and braided groups
000125 (1984) Pierre Lescanne [France]Term Rewriting Systems and Algebra
000130 (1999) Jürgen Giesl [Allemagne] ; Aart Middeldorp [Japon]Transforming Context-Sensitive Rewrite Systems
000131 (2001) Michael Rusinowitch [France]Rewriting for Deduction and Verification
000133 (1994) Gernot Salzer [Autriche]Primal grammars and unification modulo a binary clause
000192 (1990) Pierre Lescanne [France]On the recursive decomposition ordering with lexicographical status and other related orderings
000218 (1989) Tobias Nipkow [Royaume-Uni]Term rewriting and beyond — theorem proving in Isabelle
000272 (2000) Miquel Bofill [Espagne] ; Guillem Godoy [Espagne] ; Robert Nieuwenhuis [Espagne] ; Albert Rubio [Espagne]Modular Redundancy for Theorem Proving
000303 (2013) Andreas Bauer [Australie] ; Peter Baumgartner [Australie] ; Martin Diller [Australie] ; Michael Norrish [Australie]Tableaux for Verification of Data-Centric Processes
000398 (1998) M. R. K. Krishna Rao [Inde] ; Deepak Kapur [Inde] ; R. K. Shyamasundar [Inde]Transformational methodology for proving termination of logic programs
000406 (2006) David Déharbe [Brésil] ; Pascal Fontaine [France] ; Silvio Ranise [France, Italie] ; Christophe Ringeissen [France]Decision Procedures for the Formal Analysis of Software
000483 (1993) Régis Curien [France]Second order E-matching as a tool for automated theorem proving
000487 (1998) Horatiu Cirstea [France] ; Claude Kirchner [France]The Rewriting Calculus as a Semantics of ELAN
000764 (1980) James W. Thatcher [États-Unis] ; Eric G. Wagner [États-Unis] ; Jesse B. Wright [États-Unis]More on advice on structuring compilers and proving them correct
000801 (2004) Leonardo De Moura [États-Unis] ; Sam Owre [États-Unis] ; Harald Rue [États-Unis] ; John Rushby [États-Unis] ; Natarajan Shankar [États-Unis]The ICS Decision Procedures for Embedded Deduction
000833 (2002) Gérard Huet [France]Higher Order Unification 30 Years Later
000887 (1987) Stéphane Kaplan [Israël, France] ; Amir Pnueli [Israël]Specification and implementation of concurrently accessed data structures: An abstract data type approach
000894 (1990) Françoise Bellegarde [États-Unis] ; Pierre Lescanne [France]Termination by completion
000908 (1993) Nachum Dershowitz [États-Unis]A taste of rewrite systems
000957 (1985) Michel Bidoit [France] ; Christine Choppy [France]ASSPEGIQUE: An integrated environment for algebraic specifications

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Istex/Curation

HfdIndexSelect -h $EXPLOR_AREA/Data/Istex/Curation/AbsEn.i -k "proving" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Istex/Curation/AbsEn.i  \
                -Sk "proving" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Istex/Curation/biblio.hfd

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Istex
   |étape=   Curation
   |type=    indexItem
   |index=    AbsEn.i
   |clé=    proving
}}
Wicri

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