Review: B. Courcelle, B. Domolki, T. Gergely, Equational Theories and Equivalences of Programs; J. W. de Bakker, J. I. Zucker, Derivatives of Programs; E. Engeler, An Algorithmic Model of Strict Finitism [Book Review]

Journal of Symbolic Logic 49 (3):990-991 (1984)

Abstract This article has no associated abstract. (fix it)
Keywords No keywords specified (fix it)
Categories (categorize this paper)
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 40,131
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

On Logic of Complex Algorithms.Helena Rasiowa - 1981 - Studia Logica 40 (3):289 - 310.
A Defense of Strict Finitism.J. P. Bendegem - 2012 - Constructivist Foundations 7 (2):141-149.
Programs, Models, Theories, and Reality.Robert I. Damper - 2001 - Behavioral and Brain Sciences 24 (6):1055-1056.
Ethics Programs and Their Dimensions.Steven N. Brenner - 1992 - Journal of Business Ethics 11 (5-6):391-399.
Strict Finitism and the Happy Sorites.Ofra Magidor - 2012 - Journal of Philosophical Logic 41 (2):471-491.
Issues for Development Communication Ethics.William Herzog - 1991 - Journal of Mass Media Ethics 6 (4):210 – 221.
A Note on Definability in Equational Logic.George Weaver - 1994 - History and Philosophy of Logic 15 (2):189-199.
Toward Computer-Aided Induction: A Brief Review of Currently Implemented Aqval Programs.Ryszard Stanisław Michalski - 1977 - Dept. Of Computer Science, University of Illinois at Urbana-Champaign.
Strict Finitism Refuted?Ofra Magidor - 2007 - Proceedings of the Aristotelian Society 107 (1pt3):403-411.
Programs and Logics.Anita Wasilewska - 1985 - Studia Logica 44 (2):125 - 137.

Analytics

Added to PP index
2013-11-22

Total views
1 ( #1,309,770 of 2,237,181 )

Recent downloads (6 months)
1 ( #1,004,527 of 2,237,181 )

How can I increase my downloads?

Downloads

Sorry, there are not enough data points to plot this chart.

My notes

Sign in to use this feature