Sign in
Subset types and partial functions
Conference proceeding   Peer reviewed

Subset types and partial functions

Aaron Stump
Lecture notes in computer science, Vol.2741, pp.151-165
Automated deduction - CADE-19 (Miami Beach FL, 28 July - 2 August 2003)
2003
DOI: 10.1007/978-3-540-45085-6_12

View Online

Abstract

Applied sciences Computer science; control theory; systems Exact sciences and technology General Logical, boolean and switching functions Software Theoretical computing

Details

Metrics

25 Record Views