The undecidability of the semi-unification problem (Q1207950): Difference between revisions

From MaRDI portal
Created claim: Wikidata QID (P12): Q61634982, #quickstatements; #temporary_batch_1707216511891
Set OpenAlex properties.
(3 intermediate revisions by 2 users not shown)
Property / author
 
Property / author: Jerzy Tiuryn / rank
Normal rank
 
Property / author
 
Property / author: Paweł Urzyczyn / rank
Normal rank
 
Property / author
 
Property / author: Jerzy Tiuryn / rank
 
Normal rank
Property / author
 
Property / author: Paweł Urzyczyn / rank
 
Normal rank
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.1006/inco.1993.1003 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W1993695344 / rank
 
Normal rank

Revision as of 21:20, 19 March 2024

scientific article
Language Label Description Also known as
English
The undecidability of the semi-unification problem
scientific article

    Statements

    The undecidability of the semi-unification problem (English)
    0 references
    0 references
    0 references
    0 references
    16 May 1993
    0 references
    Semi-Unification Problem
    0 references
    Turing machines
    0 references
    undecidability
    0 references
    boundedness
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references