Recovering from inconsistency: a general framework for theory recovery

C Witteveen, W van der Hoek

Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

Original languageUndefined/Unknown
Title of host publicationWAIT '99
Place of PublicationS.l.
Publishers.n.
Pages37-50
Number of pages14
Publication statusPublished - 1999
EventWorkshop Argentino de Informatica Teorica, Buenos Aires - S.l.
Duration: 1 Sep 19991 Sep 1999

Publication series

Name
PublisherS.n.

Conference

ConferenceWorkshop Argentino de Informatica Teorica, Buenos Aires
Period1/09/991/09/99

Keywords

  • ZX Int.klas.verslagjaar < 2002

Cite this

Witteveen, C., & van der Hoek, W. (1999). Recovering from inconsistency: a general framework for theory recovery. In WAIT '99 (pp. 37-50). s.n..