FC03.fr.i
Checkpoint
PascalFrancis
Racine
Checkpoint
PascalFrancis
Exploration
Accueil
Racine
Racine

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

Index « FC03.fr.i » - entrée « Logique ordre 1 »
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.
Logique odre n < Logique ordre 1 < Logique ordre 2  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 14.
Ident.Authors (with country if any)Title
000171 (2010) Joris Rehm [France]Proved development of the real-time properties of the IEEE 1394 Root Contention Protocol with the event-B method
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
000403 (2006) Guillaume Burel [France] ; Claude Kirchner [France]Completion Is an Instance of Abstract Canonical System Inference
000473 (2005) Alessandro Armando [Italie] ; Maria Paola Bonacina [Italie] ; Silvio Ranise [France] ; Stephan Schulz [Italie]On a rewriting approach to satisfiability procedures : Extension, combination of theories and an experimental appraisal
000476 (2005) Francois Lamarche [France] ; Lutz Strassburger [Allemagne]Naming proofs in classical propositional logic
000621 (2004) Cesare Tinelli [États-Unis] ; Calogero G. Zarba [France]Combining decision procedures for sorted theories
000732 (2003) Alessandro Armando [Italie] ; Silvio Ranise [Italie, France] ; Michaël Rusinowitch [France]A rewriting approach to satisfiability procedures
000826 (2002) Egidio Astesiano [Italie] ; Michel Bidoit [France] ; Hélène Kirchner [France] ; Bernd Krieg-Brückner [Allemagne] ; Peter D. Mosses [Danemark] ; Donald Sannella [Royaume-Uni] ; Andrzej Tarlecki [Pologne]CASL: the Common Algebraic Specification Language
000827 (2002) Gilles Dowek [France] ; Thérèse Hardin [France] ; Claude Kirchner [France]Binding logic: Proofs and models
000874 (2001) Alessandro Armando [Italie] ; Silvio Ranise [Italie, France] ; Michaël Rusinowitch [France]Uniform derivation of decision procedures by superposition
000879 (2001) Alessandro Armando [Italie] ; Luca Compagna [Italie] ; Silvio Ranise [Italie, France]System description : RDL rewrite and decision procedure laboratory
000921 (2001) Jean-Yves Marion [France]Actual arithmetic and feasibility
000975 (2000) Philippe De Groote [France]Proof-search in implicative linear logic as a matching problem
000D62 (1991) M. Rusinowitch [France]Theorem-proving with resolution and superposition

List of associated Author.i

Nombre de
documents		Descripteur
4Alessandro Armando
4Silvio Ranise
2Claude Kirchner
2Jean-Yves Marion
2Michaël Rusinowitch
1Alwen Tiu
1Andrzej Tarlecki
1Bernd Krieg-Brückner
1Calogero G. Zarba
1Cesare Tinelli
1Donald Sannella
1Egidio Astesiano
1Francois Lamarche
1Gilles Dowek
1Guillaume Burel
1Hélène Kirchner
1Joris Rehm
1Leonor Prensa Nieto
1Luca Compagna
1Lutz Strassburger
1M. Rusinowitch
1Maria Paola Bonacina
1Michel Bidoit
1Pascal Fontaine
1Peter D. Mosses
1Philippe De Groote
1Stephan Merz
1Stephan Schulz
1Thérèse Hardin

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 "Logique ordre 1" 

HfdIndexSelect -h $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/FC03.fr.i  \
                -Sk "Logique ordre 1" \
         | 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é=    Logique ordre 1
}}
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