Generic undecidability of universal theories
Work
Year: 2019
Type: article
Abstract: Generic-case approach to algorithmic problems was suggested by Miasnikov, Kapovich, Schupp and Shpilrain in 2003.This approach studies behavior of an algorithm on typical (almost all) inputs and ignor... more
Author Alexander Rybalov
Cites: 4
Cited by:
Related to: 10
FWCI:
Citation percentile (by year/subfield):
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: gold