| Form Methods Syst Des < Formal Aspects of Computing < Formal Methods in System Design | Facettes : |
List of bibliographic references
Number of relevant bibliographic references: 14.| Ident. | Authors (with country if any) | Title |
|---|---|---|
| 002B13 (1995) | Pierre Lescanne [France] | Termination of rewrite systems by elementary interpretations |
| 002C16 (1995) | Nancy Lynch [États-Unis] ; Roberto Segala [États-Unis] | A comparison of simulation techniques and algebraic techniques for verifying concurrent systems |
| 002E45 (1993) | Forthcoming events | |
| 002E46 (1993) | Forthcoming events | |
| 002E47 (1993) | Forthcoming events | |
| 003014 (1992) | Forthcoming events | |
| 003015 (1992) | Forthcoming events | |
| 003016 (1992) | Forthcoming events | |
| 003137 (1991) | Forthcoming events | |
| 003138 (1991) | Christiane Notarmarco [Royaume-Uni] ; Rod Mulvey [Royaume-Uni] | Formal aspects of computing: LATEX style guide for authors |
| 003244 (1990) | Forthcoming events 1990 | |
| 003245 (1990) | Forthcoming events 1990 | |
| 003255 (1990) | Miki Hermann [France] | Chain properties of rule closures |
| 003321 (1989) | Tobias Nipkow [Royaume-Uni] | Term rewriting and beyond — theorem proving in Isabelle |
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/ISSN.i -k "Formal Aspects of Computing"
HfdIndexSelect -h $EXPLOR_AREA/Data/Istex/Checkpoint/ISSN.i \
-Sk "Formal Aspects of Computing" \
| 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= ISSN.i
|clé= Formal Aspects of Computing
}}
| This area was generated with Dilib version V0.6.33. |  |