Restricted Decision Problems in Some Classes of Algebraic Systems

Mathematical Logic Quarterly 24 (17-18):279-287 (1978)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

DOI

10.1002/malq.19780241703

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,745

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

Restricted Decision Problems in Some Classes of Algebraic Systems.Michałl Muzalewski - 1978 - Mathematical Logic Quarterly 24 (17‐18):279-287.
Decision problems associated with complete deterministic normal systems.Paul Axt & W. E. Singletary - 1969 - Mathematical Logic Quarterly 15 (19):299-304.
Some Non‐Recursive Classes of Thue Systems With Solvable Word Problem.Ann Yasuhara - 1974 - Mathematical Logic Quarterly 20 (8-12):121-132.
Some Decision Problems in the Theory of Syntactic Categories.Wojciech Buszkowski - 1982 - Mathematical Logic Quarterly 28 (33‐38):539-548.
A New General Approach to the Theory of the Many‐One Equivalence of Decision Problems for Algorithmic Systems.Egon Börger - 1979 - Mathematical Logic Quarterly 25 (7-12):135-162.
A New General Approach to the Theory of the Many‐One Equivalence of Decision Problems for Algorithmic Systems.Egon Börger - 1979 - Mathematical Logic Quarterly 25 (7‐12):135-162.
The R. E. Complexity of Decision Problems for Commutative Semi-Thue Systems With Recursive Rule Set.Egon Börger & Hans Büning - 1980 - Mathematical Logic Quarterly 26 (28-30):459-469.
Some Algebraic Structures Determined by Closure Operators.Ventura Verdú - 1985 - Mathematical Logic Quarterly 31 (14-18):275-278.
Some Algebraic Structures Determined by Closure Operators.Ventura Verdú - 1985 - Mathematical Logic Quarterly 31 (14‐18):275-278.
On the Closure Properties of the Class of Full G-models of a Deductive System.Josep Maria Font, Ramon Jansana & Don Pigozzi - 2006 - Studia Logica 83 (1-3):215-278.

Analytics

Added to PP
2016-02-04

Downloads
20 (#181,865)

6 months
1 (#1,912,481)

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

Undecidable theories.Alfred Tarski - 1968 - Amsterdam,: North-Holland Pub. Co.. Edited by Andrzej Mostowski & Raphael M. Robinson.
Recursive unsolvability of a problem of thue.Emil L. Post - 1947 - Journal of Symbolic Logic 12 (1):1-11.
Unsolvable problems for equational theories.Peter Perkins - 1967 - Notre Dame Journal of Formal Logic 8 (3):175-185.

View all 10 references / Add more references