Subset types and partial functions

Conference proceeding

Peer reviewed

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

Applied sciences

Computer science; control theory; systems

Exact sciences and technology

General

Logical, boolean and switching functions

Software

Theoretical computing

Title: Subtitle: Subset types and partial functions
Creators: Aaron Stump - Washington University in St. Louis
Resource Type: Conference proceeding
Publication Details: Lecture notes in computer science, Vol.2741, pp.151-165
Conference: Automated deduction - CADE-19 (Miami Beach FL, 28 July - 2 August 2003)
Publisher: Springer
DOI: 10.1007/978-3-540-45085-6_12
ISSN: 0302-9743
eISSN: 1611-3349
Language: English
Date published: 2003
Academic Unit: Computer Science
Record Identifier: 9984259501102771

25 Record Views