Category:Effective Procedures

From ProofWiki
Jump to navigation Jump to search

This category contains results about Effective Procedures.
Definitions specific to this category can be found in Definitions/Effective Procedures.

An effective procedure is an algorithm for determining whether or not a given object has a given property.

Subcategories

This category has the following 2 subcategories, out of 2 total.