On Computing Boolean Connectives of Characteristic Functions

• Authors: R. Chang and J. Kadin.
• Cite as: Mathematical Systems Theory, 28(3):173-198, May/June 1995.
• Previous incarnations: Technical Report 90-1118, Department of Computer Science, Cornell University, May 1990.
• Most readable version: journal version.
• Status: complete.
• Online:
  • Article in SpringerLink: DOI 10.1007/BF01303054.
  • Final journal submission available as a PDF file (with embedded Type 1 fonts): andor.pdf.

Abstract: