The algebra of equality proofs

Conference proceeding

Peer reviewed

Aaron Stump and Li-Yang Tan

Lecture notes in computer science, Vol.3467, pp.469-483

RTA 2005 : term rewriting and applications (Nara, 19-21 April 2005)

2005

DOI: 10.1007/978-3-540-32033-3_34

View Online

Applied sciences

Computer science; control theory; systems

Exact sciences and technology

Language theory and syntactical analysis

Theoretical computing

Title: Subtitle: The algebra of equality proofs
Creators: Aaron Stump - Washington University in St. Louis
Li-Yang Tan - Washington University in St. Louis
Resource Type: Conference proceeding
Publication Details: Lecture notes in computer science, Vol.3467, pp.469-483
Conference: RTA 2005 : term rewriting and applications (Nara, 19-21 April 2005)
Publisher: Springer
DOI: 10.1007/978-3-540-32033-3_34
ISSN: 0302-9743
eISSN: 1611-3349
Language: English
Date published: 2005
Academic Unit: Computer Science
Record Identifier: 9984259428102771

1 Record Views