Back to results
University of Illinois at Urbana-Champaign
Proofs and computations in conditional equational theories
Abstract
dc:descriptionConditional equations arise naturally in the algebraic specification of data types. They also provide an elegant computational paradigm that cleanly combines logic and functional programming. In this thesis, we study how to do proofs and computations in conditional equational theories, using rewriting techniques.
Degree
thesis:*- Name thesis:degree_name
- Ph.D.
- Level thesis:degree_level
- Dissertation
- Discipline thesis:degree_discipline
- Computer Science
- Grantor
- University of Illinois at Urbana-Champaign
- Year dc:date
- 2011
Author and committee
dc:creator, dc:contributor.*- Author dc:creator
-
- Sivakumar, G.
- Contributors dc:contributor
-
- Dershowitz, Nachum
Subjects
dc:subject × 1Rights
dc:rights- Statement dc:rights
-
- Copyright 1989 Sivakumar, G.
- Language dc:language
- eng
Identifiers
dc:identifier.*- Identifier
-
AAI8924945
(UMI)AAI8924945 - OAI identifier oai:identifier
- oai:www.ideals.illinois.edu:2142/23046