Titre (en)
Checkpoint
Istex
Racine
Checkpoint
Istex
Exploration
Accueil
Racine
Racine

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

Index « Titre (en) » - entrée « procedure »
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.
procedural < procedure < procedures  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 13.
Ident.Authors (with country if any)Title
000103 (2013) Amélie David [France]TATL: Implementation of ATL Tableau-Based Decision Procedure
000894 (2010) Paola Bruscoli [Royaume-Uni, France] ; Alessio Guglielmi [Royaume-Uni, France] ; Tom Gundersen [Royaume-Uni, France] ; Michel Parigot [France]A Quasipolynomial Cut-Elimination Procedure in Deep Inference via Atomic Flows and Threshold Formulae
001517 (2005) Alessandro Armando [Italie] ; Luca Compagna [Italie] ; Silvio Ranise [France]R ewrite and D ecision Procedure L aboratory: Combining Rewriting, Satisfiability Checking, and Lemma Speculation
001632 (2005) Domenico Cantone [Italie] ; Calogero G. Zarba [France] ; Rosa Ruggeri Cannata [Belgique]A Tableau-Based Decision Procedure for a Fragment of Set Theory with Iterated Membership
001642 (2005) Calogero G. Zarba [France] ; Domenico Cantone [Italie] ; Jacob T. Schwartz [États-Unis]A Decision Procedure for a Sublanguage of Set Theory Involving Monotone, Additive, and Multiplicative Functions, I: The Two-Level Case
001864 (2004) Yevgeny Kazakov [Allemagne] ; Hans De Nivelle [Allemagne]A Resolution Decision Procedure for the Guarded Fragment with Transitive Guards
001867 (2004) Franz Baader ; Silvio Ghilardi ; Cesare Tinelli [États-Unis]A New Combination Procedure for the Word Problem That Generalizes Fusion Decidability Results in Modal Logics
001E15 (2001) Alessandro Armando [Italie] ; Luca Compagna [Italie] ; Silvio Ranise [Italie, France]System Description: RDL Rewrite and Decision Procedure Laboratory
003045 (1992) Didier Galmiche [France] ; Guy Perrier [France]A procedure for automatic proof nets construction
003470 (1988) Wadoud Bousdira [France]A completion procedure for hierarchical conditional rewriting systems
003639 (1986) Ahlem Ben Cherifa [France] ; Pierre Lescanne [France]An actual implementation of a procedure that mechanically proves termination of rewriting systems based on inequalities between polynomial interpretations
003701 (1985) Claude Kirchner [France] ; Hélène Kirchner [France]Implementation of a general completion procedure parameterized by built-in theories and strategies
003709 (1985) Bruno BuchbergerBasic features and development of the critical-pair/completion procedure

Pour manipuler ce document sous Unix (Dilib)

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

HfdIndexSelect -h $EXPLOR_AREA/Data/Istex/Checkpoint/Title.i -k "procedure" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Istex/Checkpoint/Title.i  \
                -Sk "procedure" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Istex/Checkpoint/biblio.hfd

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Istex
   |étape=   Checkpoint
   |type=    indexItem
   |index=    Title.i
   |clé=    procedure
}}
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