algebraic specification of abstract data types < algebraic specifications < algebraic structure

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 algebraic specifications

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

Ident.	Authors (with country if any)	Title
007854 (2003)	Anamaria Martins-Moreira ; Christophe Ringeissen ; Anderson Santana De Oliveira	A Tool Support for Reusing ELAN Rule-Based Components
007855 (2003)	Anamaria Martins-Moreira ; Christophe Ringeissen ; Anderson Santana De Oliveira	A Tool Support for Reusing ELAN Rule-Based Components
007E19 (2003)	Anamaria Martins ; Christophe Ringeissen [France]	Generalizing CASL Specification Components and Preserving Rewrite Proofs
008E75 (2001)	Hélène Kirchner ; Peter D. Mosses	Algebraic Specifications, Higher-order Types and Set-theoretic Models
009389 (2001)	He Le Ne Kirchner ; Peter D. Mosses	Algebraic Specifications, Higher‐order Types and Set‐theoretic Models
00A519 (1999)	Hélène Kirchner	Term Rewriting
00A567 (1999)	Maura Cerioli ; Martin Gogolla ; Hélène Kirchner ; Bernd Krieg-Brueckner ; Zhenyu Qian ; Markus Wolf	Algebraic System Specification and Developement :Survey and Annotated Bibliography
00A592 (1999)	Hélène Kirchner ; Christophe Ringeissen	Executing CASL Equational Specifications with the ELAN Rewrite Engine
00A754 (1999)	Hélène Kirchner ; Peter D. Mosses	Algebraic Specifications, Higher-Order Types, and Set-Theoretic Models
00A765 (1999)	Adel Bouhoula	Simultaneous Checking of Completeness and Ground Confluence
00A790 (1999)	Adel Bouhoula	A New Procedure for Simultaneously Checking Completeness and Ground Confluence
00AC32 (1999)	Adel Bouhoula [France]	Simultaneous Checking of Completeness and Ground Confluence
00AD67 (1999)	Adel Bouhoula [France]	A New Procedure for Simultaneously Checking Completeness and Ground Confluence
00E200 (1988)	W. Bousdira	A Completion Procedure for Hierarchical Conditional Rewriting Systems
00E254 (1988)	W. Bousdira ; J.-L. Rémy	Hierarchical Contextual Rewriting with Several Levels
00E264 (1988)	W. Bousdira ; J.-L. Rémy	Hierarchical contextual rewriting with several levels
00E423 (1987)	W. Bousdira ; J.-L. Rémy	Complétion des systèmes de réécriture conditionnelle
00E968 (1985)	J.-L. Rémy ; H. Zhang	REVEUR 4 : a system to proceed experiments on conditional term rewriting systems
00E972 (1985)	J.-L. Rémy	Postdoctoral research in computer science : An assessment of the researches on conditional term rewriting systems ; final report
00E975 (1985)	H. Zhang ; J.-L. Rémy	Contextual rewriting
00EB55 (1984)	J.-L. Rémy ; H. Zhang	REVE 4 : a system to validate conditional algebraic specifications of parameterized abstract data types

---

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 "algebraic specifications" 

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

---

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