Recovering from inconsistency: a general framework for theory recovery

Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

Original language	Undefined/Unknown
Title of host publication	WAIT '99
Place of Publication	S.l.
Publisher	s.n.
Pages	37-50
Number of pages	14
Publication status	Published - 1999
Event	Workshop Argentino de Informatica Teorica, Buenos Aires - S.l. Duration: 1 Sept 1999 → 1 Sept 1999

Name
Publisher	S.n.

Conference	Workshop Argentino de Informatica Teorica, Buenos Aires
Period	1/09/99 → 1/09/99

Keywords

@inproceedings{91d0220578ad432991a56de21d026ddf,

title = "Recovering from inconsistency: a general framework for theory recovery",

keywords = "ZX Int.klas.verslagjaar < 2002",

author = "C Witteveen and {van der Hoek}, W",

year = "1999",

language = "Undefined/Unknown",

publisher = "s.n.",

pages = "37--50",

booktitle = "WAIT '99",

note = "Workshop Argentino de Informatica Teorica, Buenos Aires ; Conference date: 01-09-1999 Through 01-09-1999",

}

TY - GEN

T1 - Recovering from inconsistency: a general framework for theory recovery

AU - Witteveen, C

AU - van der Hoek, W

PY - 1999

Y1 - 1999

KW - ZX Int.klas.verslagjaar < 2002

M3 - Conference contribution

SP - 37

EP - 50

BT - WAIT '99

PB - s.n.

CY - S.l.

T2 - Workshop Argentino de Informatica Teorica, Buenos Aires

Y2 - 1 September 1999 through 1 September 1999

ER -