Generic complexity of first-order theories

zbMath1329.03076MaRDI QIDQ890867

Alexander N. Rybalov

Publication date: 16 November 2015

Published in: Sibirskie Èlektronnye Matematicheskie Izvestiya (Search for Journal in Brave)

Full work available at URL: http://semr.math.nsc.ru/v8/p168-178.pdf

zbMATH Keywords

first-order theorygeneric complexity

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Complexity of computation (including implicit computational complexity) (03D15)

This page was built for publication: Generic complexity of first-order theories