A formal semantics for the preferred subtheories

Research output: Book/ReportReport

Original languageEnglish
Place of PublicationDelft
PublisherDelft University of Technology
Publication statusPublished - 1990

Publication series

SeriesReports of the Faculty of Mathematics and Informatics. Delft University of Technology
Volume90,20

Cite this

Roos, N. (1990). A formal semantics for the preferred subtheories. Delft University of Technology. Reports of the Faculty of Mathematics and Informatics. Delft University of Technology, Vol.. 90,20