BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Australia
2 × USA
Collaborated with:
D.A.Basin L.Viganò
Talks about:
implement (2) definit (2) induct (2) logic (2) metatheorem (1) metatheori (1) framework (1) structur (1) practic (1) consequ (1)

Person: Seán Matthews

DBLP DBLP: Matthews:Se=aacute=n

Contributed to:

WRLA 19981998
CADE 19971997
CADE 19961996
KR 19961996

Wrote 4 papers:

Scoped metatheorems (DAB, SM), pp. 353–366.
CADE-1997-Matthews #implementation #induction #using
A Practical Implementation of Simple Consequence Relations Using Inductive Definitions (SM), pp. 306–320.
CADE-1996-BasinM #induction
Structuring Metatheory on Inductive Definitions (DAB, SM), pp. 171–185.
KR-1996-BasinMV #framework #implementation #logic
Implementing Modal and Relevance Logics in a Logical Framework (DAB, SM, LV), pp. 386–397.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.