Skip to main navigation Skip to search Skip to main content

Some experiments with undefinedness

  • L. Feenstra
  • , Jan Kuper

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Original languageUndefined
Title of host publicationProceedings of de CADE-15 Workshop Mechanication of Partial Functions
Place of PublicationLindau, Germany
Pages97-107
Publication statusPublished - 19 Jan 1998

Keywords

  • METIS-119184

Cite this