Synthese < TCS < TECHTRENDS TECH TRENDS

Facettes : Author.f AffPays.f AffOrg.f AffRegion.f AffVille.f

List of bibliographic references

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

Ident.	Authors (with country if any)	Title
000108 (1995)	Valentin M. Antimirov [France] ; Peter D. Mosses [Danemark]	Rewriting extended regular expressions
000263 (1997)	Miki Hermann [France] ; Roman Galbav [France]	Unification of infinite sets of terms schematized by primal grammars
000556 (1995)	Abdelillah Mokkedem [France] ; Dominique Méry [France]	On using temporal logic for refinement and compositional verification of concurrent systems
000968 (1997)	Gregory Kucherov [France] ; Michaël Rusinowitch [France]	Matching a set of strings with variable length don't cares
000A09 (2000)	Didier Arquès [France] ; Alain Giorgetti [France]	Counting rooted maps on a surface
000A57 (1998)	E. A. Cichon [France] ; E. Tahhan Bittar [France]	Ordinal recursive bounds for Higman's theorem
000A78 (2001)	Bernhard Gramlich [Autriche]	On interreduction of semi-complete term rewriting systems
000D96 (1998)	José Meseguer	Contents and abstracts of the electronic notes in theoretical computer science vol. 4
001075 (2000)		Editorial
001119 (1996)		Master index volumes 151–160
001485 (1998)	Guy Perrier [France]	Corrigendum to Galmiche's and Perrier's “On proof normalization in linear logic”
001637 (2000)	Didier Galmiche [France] ; David J. Pym [Royaume-Uni]	Proof-search in type-theoretic languages: an introduction
001809 (2000)		Conference
001893 (1999)	Philippe De Groote [France]	An algebraic correctness criterion for intuitionistic multiplicative proof-nets
001A06 (1997)	Farid Ajili [France] ; Evelyne Contejean [France]	Avoiding slack variables in the solving of linear diophantine equations and inequations
001A50 (2001)	Vincent D. Blondel [Belgique] ; Olivier Bournez [France] ; Pascal Koiran [France] ; Christos H. Papadimitriou [États-Unis] ; John N. Tsitsiklis [États-Unis]	Deciding stability and mortality of piecewise affine dynamical systems
001D53 (2000)	Daniel Leivant [États-Unis] ; Jean-Yves Marion [États-Unis, France]	A characterization of alternating log time by ramified recurrence
001D60 (1999)	Jean-Yves Marion [France]	From multiple sequent for additive linear logic to decision procedures for free lattices
001D82 (1999)		Cumulative index volumes 1–200
002016 (1999)	G. Perrier [France]	A PSPACE-complete fragment of second-order linear logic
002039 (1996)	Adel Bouhoula [France]	Using induction and rewriting to verify and complete parameterized 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/ISSN.i -k "TCS" 

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

---

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