scientific article; zbMATH DE number 3650013

zbMATH Open0417.68054MaRDI QIDQ3208098FDOQ3208098

Authors: Alexander P. Vinogradov 

Publication date: 1979

Title of this publication is not available (Why is that?)

zbMATH Keywords

sortingapplication of predicate calculusminimal length of calculationssolving combinatorial problems

Mathematics Subject Classification ID

Searching and sorting (68P10) Classical first-order logic (03B10)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3208098)