An undecidable problem for regular equations

Bulletin of the Section of Logic 20 (2):67-70 (1991)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,953

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

Some strongly undecidable natural arithmetical problems, with an application to intuitionistic theories.Panu Raatikainen - 2003 - Journal of Symbolic Logic 68 (1):262-266.
Generic Complexity of Undecidable Problems.Alexei G. Myasnikov & Alexander N. Rybalov - 2008 - Journal of Symbolic Logic 73 (2):656 - 673.
On the expressivity of feature logics with negation, functional uncertainty, and sort equations.Franz Baader, Hans-Jürgen Bürckert, Bernhard Nebel, Werner Nutt & Gert Smolka - 1993 - Journal of Logic, Language and Information 2 (1):1-18.
Regular equations and unification theory.Ewa Graczynska - 1989 - Bulletin of the Section of Logic 18 (1):33-39.
Undecidable and decidable restrictions of Hilbert's Tenth Problem: images of polynomials vs. images of exponential functions.Mihai Prunescu - 2006 - Mathematical Logic Quarterly 52 (1):14-19.
Undecidable properties of finite sets of equations.George F. McNulty - 1976 - Journal of Symbolic Logic 41 (3):589-604.
Review: V. L. Murskii, D. M. Pritzker, Nondiscernible Properties of Finite Systems of Identity Relations; George F. McNulty, The Decision Problem for Equational Bases of Algebras; George F. McNulty, Undecidable Properties of Finite Sets of Equations. [REVIEW]S. Burris - 1982 - Journal of Symbolic Logic 47 (4):903-904.
Locus equations: A partial solution to the problem of consonant place perception.Randy L. Diehl - 1998 - Behavioral and Brain Sciences 21 (2):264-264.
Regular subalgebras of complete Boolean algebras.Aleksander Błaszczyk & Saharon Shelah - 2001 - Journal of Symbolic Logic 66 (2):792-800.
An Undecidable Property of Recurrent Double Sequences.Mihai Prunescu - 2008 - Notre Dame Journal of Formal Logic 49 (2):143-151.
Hereditary undecidability of some theories of finite structures.Ross Willard - 1994 - Journal of Symbolic Logic 59 (4):1254-1262.
Undecidability of the Problem of Recognizing Axiomatizations of Superintuitionistic Propositional Calculi.Evgeny Zolin - 2014 - Studia Logica 102 (5):1021-1039.
Undecidable semiassociative relation algebras.Roger D. Maddux - 1994 - Journal of Symbolic Logic 59 (2):398-418.
A note on the logic of signed equations.Stephen L. Bloom - 1982 - Studia Logica 41 (1):75 - 81.

Analytics

Added to PP
2014-01-22

Downloads
15 (#974,361)

6 months
1 (#1,514,069)

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