Towards automated proofs of observational properties.
Berregeb, Narjes; Robbana, Riadh; Tiwari, Ashish
Discrete Mathematics and Theoretical Computer Science. DMTCS [electronic only] (2003)
- Volume: 6, Issue: 1, page 143-162
- ISSN: 1365-8050
Access Full Article
top
How to cite
topBerregeb, Narjes, Robbana, Riadh, and Tiwari, Ashish. "Towards automated proofs of observational properties.." Discrete Mathematics and Theoretical Computer Science. DMTCS [electronic only] 6.1 (2003): 143-162. <http://eudml.org/doc/123496>.
@article{Berregeb2003,
author = {Berregeb, Narjes, Robbana, Riadh, Tiwari, Ashish},
journal = {Discrete Mathematics and Theoretical Computer Science. DMTCS [electronic only]},
keywords = {observational; contexts; rewriting},
language = {eng},
number = {1},
pages = {143-162},
publisher = {Maison de l'Informatique et des Mathématiques Discrètes, MIMD},
title = {Towards automated proofs of observational properties.},
url = {http://eudml.org/doc/123496},
volume = {6},
year = {2003},
}
TY - JOUR
AU - Berregeb, Narjes
AU - Robbana, Riadh
AU - Tiwari, Ashish
TI - Towards automated proofs of observational properties.
JO - Discrete Mathematics and Theoretical Computer Science. DMTCS [electronic only]
PY - 2003
PB - Maison de l'Informatique et des Mathématiques Discrètes, MIMD
VL - 6
IS - 1
SP - 143
EP - 162
LA - eng
KW - observational; contexts; rewriting
UR - http://eudml.org/doc/123496
ER -
NotesEmbed ?
topYou must be logged in to post comments.
To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.