@ARTICLE{BasinMatthews98a,
AUTHOR = {Matthews, Se{\'a}n and Basin, David A.},
TITLE = {Structuring Metatheory on Inductive Definitions},
JOURNAL = {Information and Computation},
PUBLISHER = {Academic Press},
YEAR = {2000},
NUMBER = {1/2},
VOLUME = {162},
PAGES = {80--95},
ADDRESS = {London, UK},
ISBN = {0890-5401},
}
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:29:19 PM |
Revisions
11.
10.
9.
8.
7. | Editor(s)
Christine Kiesel
Christine Kiesel
Uwe Brahm
Uwe Brahm
Uwe Brahm | Edit Dates
04.09.2001 11:19:39
31.08.2001 11:25:23 AM
04/04/2001 06:29:40 PM
04/04/2001 06:28:54 PM
04/04/2001 05:32:32 PM |