@ARTICLE{BasinMatthews98b,
AUTHOR = {Matthews, Se{\'a}n and Basin, David A.},
TITLE = {Scoped Metatheorems},
JOURNAL = {Electronic Notes in Computer Science},
PUBLISHER = {Elsevier},
YEAR = {1998},
VOLUME = {15},
PAGES = {1--14},
ADDRESS = {Amsterdam, the Netherlands},
}
Entry last modified by Christine Kiesel, 03/12/2010
Edit History (please click the blue arrow to see the details)
| Editor(s)
Seán Matthews | Created
01/15/1999 12:22:48 PM |
Revisions
5.
4.
3.
2.
1. | Editor(s)
Christine Kiesel
Uwe Brahm
Uwe Brahm
Uwe Brahm
Uwe Brahm | Edit Dates
14.03.2001 13:46:08
01.04.99 10:56:15
31.03.99 20:29:14
31.03.99 18:11:56
30.03.99 16:09:48 |