Equational Theories and Equivalences of Programs

, , , , &
Journal of Symbolic Logic 49 (3):990-991 (1984)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2274158

Links

PhilArchive



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

External links

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

Through your library

My notes

Similar books and articles

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. [REVIEW]Steven S. Muchnick - 1984 - Journal of Symbolic Logic 49 (3):990-991.
Theories with equational forking.Markus Junker & Ingo Kraus - 2002 - Journal of Symbolic Logic 67 (1):326-340.
Proving consistency of equational theories in bounded arithmetic.Arnold Beckmann† - 2002 - Journal of Symbolic Logic 67 (1):279-296.
A note on definability in equational logic.George Weaver - 1994 - History and Philosophy of Logic 15 (2):189-199.
Equational Logic and Equational Theories of Algebras.A. Tarski, H. Arnold Schmidt & K. Schutte - 1971 - Journal of Symbolic Logic 36 (1):161-162.
Review: A. Tarski, H. Arnold Schmidt, K. Schutte, H.-J. Thiele, Equational Logic and Equational Theories of Algebras. [REVIEW]Ralph Seifert - 1971 - Journal of Symbolic Logic 36 (1):161-162.
Exploiting Equivalences in Connection Calculi.Stefan Bruning - 1995 - Logic Journal of the IGPL 3 (6):857-886.
Programs, models, theories, and reality.Robert I. Damper - 2001 - Behavioral and Brain Sciences 24 (6):1055-1056.
Inherently nonfinitely based lattices.Ralph Freese, George F. McNulty & J. B. Nation - 2002 - Annals of Pure and Applied Logic 115 (1-3):175-193.
Equational Reasoning in Non-Classical Logics.Marcelo Frias & Ewa Orlowska - 1998 - Journal of Applied Non-Classical Logics 8 (1-2):27-66.
Minimum bases for equational theories of groups and rings: the work of Alfred Tarski and Thomas Green.George F. McNulty - 2004 - Annals of Pure and Applied Logic 127 (1-3):131-153.
Aspects of a Graph-Based Proof Procedure for Horn Clauses.Stan T. Raatz - 1987 - Dissertation, University of Pennsylvania
A Normalization Procedure For The Equational Fragment Of Labelled Natural Deduction.A. de Oliveira & R. B. de Queiroz - 1999 - Logic Journal of the IGPL 7 (2):173-215.
The equational theories of representable residuated semigroups.Szabolcs Mikulás - 2015 - Synthese 192 (7):2151-2158.
Nonaxiomatisability of equivalences over finite state processes.Peter Sewell - 1997 - Annals of Pure and Applied Logic 90 (1-3):163-191.

Analytics

Added to PP
2015-02-05

Downloads
24 (#639,942)

6 months
7 (#411,886)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references