Program Transformation and Proof Transformation
| Abstract | Wilfred Sieg and Stanley S. Wainer. Program Transformation and Proof Transformation. | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | No categories specified (fix it) | |||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,653 |
| External links |
  Try with proxy. Try with proxy. |
| Through your library | Only published papers are available at libraries |
Similar books and articlesDavid A. Nelson (1992). Deductive Program Verification (a Practitioner's Commentary). Minds and Machines 2 (3).
Maeve Cooke (2002). Argumentation and Transformation. Argumentation 16 (1):81-110.
C. D. N. Barel (1993). Concepts of an Architectonic Approach to Transformation Morphology. Acta Biotheoretica 41 (4).
Toshikazu Watanabe (2011). Dharmakīrti's Criticism of Anityatva in the Sāṅkhya Theory. Journal of Indian Philosophy 39 (4-5):553-569.
John J. Shea (2005). Finding God Again: Spirituality for Adults. Rowman & Littlefield Publishers.
Helen Tattam & Pierre-Alexis Mével (2010). Introduction : The Myth of Babel. 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? Peter Lang.
Celine Schmitt (2010). La Scenographie : Le Rythme du Regard Dans l'Espace Vicu. 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? Peter Lang.
Pierre-Alexis Mavel (2010). Words in Translation. Trompe-l'Œil Et Traduction. 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? Peter Lang.
Jethro Masís (2009). La Fenomenalidad Del Fenómeno: En Torno a § 7 de Ser y Tiempo de Heidegger. Logos. Revista de Filosofía (111):89-121.
Fabien Arribert-Narce (2010). Image(s) de l'Autobiographe : De la Photographie Comme " Dangereux Supplement". 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? Peter Lang.
Jacek Sójka (1999). The Impact of Trust on Employee Participation in Poland. Journal of Business Ethics 21 (2-3):229 - 236.
Peter F. Dominey & Taïssia Lelekov (2000). Nonlinguistic Transformation Processing in Agrammatic Aphasia. Behavioral and Brain Sciences 23 (1):30-30.
Helen Tattam (2010). Words and the Stage. Theory, Theatre, and Polyphony : Dramatising Existentialist Ethical Thought. 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? Peter Lang.
So Jeong Park (2008). “Transformation” and “Consummation”. Proceedings of the Xxii World Congress of Philosophy 51:11-16.
Analytics
Monthly downloads |
Added to index2010-09-17Total downloads2 ( #232,265 of 548,984 )Recent downloads (6 months)1 ( #63,327 of 548,984 )How can I increase my downloads? |
My notes
Discussion
