Program Transformation and Proof Transformation

&

Abstract

Wilfred Sieg and Stanley S. Wainer. Program Transformation and Proof Transformation

Categories

Add categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,783

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

  • Only published works are available at libraries.

My notes

Similar books and articles

Reducing dynamic epistemic logic to pdl by program transformation.Jan van Eijck - unknown
Deductive program verification (a practitioner's commentary).David A. Nelson - 1992 - Minds and Machines 2 (3):283-307.
Argumentation and Transformation.Maeve Cooke - 2002 - Argumentation 16 (1):81-110.
Concepts of an architectonic approach to transformation morphology.C. D. N. Barel - 1993 - Acta Biotheoretica 41 (4):345-381.
Dharmakīrti’s Criticism of Anityatva in the Sāṅkhya Theory.Toshikazu Watanabe - 2011 - Journal of Indian Philosophy 39 (4-5):553-569.
Finding God again: spirituality for adults.John J. Shea - 2005 - Lanham, Md.: Rowman & Littlefield Publishers.
Introduction : the myth of Babel.Helen Tattam & Pierre-Alexis Mével - 2010 - In Pierre-Alexis Mevel & Helen Tattam (eds.), Language and its contexts: transposition and transformation of meaning? = Le langage et ses contexts: transposition et transformation du sens? New York: Peter Lang.
La scenographie : le rythme du regard dans l'espace vicu.Celine Schmitt - 2010 - In Pierre-Alexis Mevel & Helen Tattam (eds.), Language and its contexts: transposition and transformation of meaning? = Le langage et ses contexts: transposition et transformation du sens? New York: Peter Lang.
Words in translation. Trompe-l'œil et traduction.Pierre-Alexis Mavel - 2010 - In Pierre-Alexis Mevel & Helen Tattam (eds.), Language and its contexts: transposition and transformation of meaning? = Le langage et ses contexts: transposition et transformation du sens? New York: Peter Lang.
La fenomenalidad del fenómeno: En torno a § 7 de Ser y Tiempo de Heidegger.Jethro Masís - 2009 - Logos. Revista de Filosofía 37 (111):89-121.
Image(s) de l'autobiographe : de la photographie comme " dangereux supplement".Fabien Arribert-Narce - 2010 - In Pierre-Alexis Mevel & Helen Tattam (eds.), Language and its contexts: transposition and transformation of meaning? = Le langage et ses contexts: transposition et transformation du sens? New York: Peter Lang.
The impact of trust on employee participation in Poland.Jacek Sójka - 1999 - Journal of Business Ethics 21 (2-3):229 - 236.
Nonlinguistic transformation processing in agrammatic aphasia.Peter F. Dominey & Taïssia Lelekov - 2000 - Behavioral and Brain Sciences 23 (1):30-30.
Words and the stage. Theory, theatre, and polyphony : dramatising existentialist ethical thought.Helen Tattam - 2010 - In Pierre-Alexis Mevel & Helen Tattam (eds.), Language and its contexts: transposition and transformation of meaning? = Le langage et ses contexts: transposition et transformation du sens? New York: Peter Lang.
Transformation” and “Consummation.So Jeong Park - 2008 - Proceedings of the Xxii World Congress of Philosophy 51:11-16.

Analytics

Added to PP
2010-09-17

Downloads
29 (#549,529)

6 months
5 (#632,816)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Wilfried Sieg
Carnegie Mellon University

Citations of this work

Add more citations

References found in this work

No references found.

Add more references