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 Sep 1999 → 1 Sep 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 = "null ; Conference date: 01-09-1999 Through 01-09-1999",

}