Polynomial-time analogues of isolatedness
From MaRDI portal
Publication:1192349
DOI10.1016/0168-0072(92)90072-8zbMath0773.03032OpenAlexW1965999006MaRDI QIDQ1192349
Publication date: 27 September 1992
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0168-0072(92)90072-8
partial recursive functionscancellation lawsisolated setsrecursive equivalence typesDedekind finite setsequipollence classes
Complexity of computation (including implicit computational complexity) (03D15) Recursive equivalence types of sets and structures, isols (03D50)
Cites Work
This page was built for publication: Polynomial-time analogues of isolatedness