ISSN
Exploration
Accueil
Racine
Exploration
Accueil
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine - Exploration (Accueil)

Index « ISSN » - entrée « TCS »
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.
Synthese < TCS < TECHTRENDS TECH TRENDS  Facettes :

List of bibliographic references indexed by TCS

Number of relevant bibliographic references: 39.
[20-40] [0 - 20][0 - 39]
Ident.Authors (with country if any)Title
00BB18 (1997) Miki Hermann [France] ; Roman Galbav [France]Unification of infinite sets of terms schematized by primal grammars
00BB32 (1997) Gregory Kucherov [France] ; Michaël Rusinowitch [France]Matching a set of strings with variable length don't cares
00BB52 (1997) Farid Ajili [France] ; Evelyne Contejean [France]Avoiding slack variables in the solving of linear diophantine equations and inequations
00BB57 (1997) Jean-Pierre Jouannaud [France] ; Mitsuhiro Okada [Japon]Abstract data type systems
00BF28 (1996) Gregory Kucherov [France] ; Pierre Lescanne [France] ; Peter Mosses [Danemark]Valentin Antimirov (1961–1995)
00BF30 (1996) Adel Bouhoula [France]Using induction and rewriting to verify and complete parameterized specifications
00BF33 (1996) Roger D. Maddux [États-Unis]Relation-algebraic semantics
00BF36 (1996) Victor Mitrana [Roumanie] ; Gheorghe P Un [Roumanie] ; Grzegorz Rozenberg [Pays-Bas] ; Arto Salomaa [Finlande]Pattern systems
00BF37 (1996) Valentin Antimirov [France]Partial derivatives of regular expressions and finite automaton constructions
00BF47 (1996) Master index volumes 151–160
00BF73 (1996) Author index volume 155 (1996)
00BF81 (1996) Laurent Alonso [France] ; René Schott [France]A parallel algorithm for the generation of a permutation and applications
00C614 (1995) Valentin M. Antimirov [France] ; Peter D. Mosses [Danemark]Rewriting extended regular expressions
00C624 (1995) Abdelillah Mokkedem [France] ; Dominique Méry [France]On using temporal logic for refinement and compositional verification of concurrent systems
00C627 (1995) Lila Kari [Finlande] ; Alexandru Mateescu [Finlande] ; Gheorghe Pa Un [Roumanie] ; Arto Salomaa [Finlande]Multi-pattern languages
00C629 (1995) Master index volumes 131–140
00C641 (1995) Cumulative index volumes 101–150
00C642 (1995) Cumulative index volumes 101–150
00C644 (1995) Contents EATCS bulletin number 57, October 1995

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/ISSN.i -k "TCS" 

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