Some Remarks on Theorem Proving Systems and Mazurkiewicz Algorithms Associated with them.

Saved in:

Bibliographic Details
Title:	Some Remarks on Theorem Proving Systems and Mazurkiewicz Algorithms Associated with them.
Authors:	Wasilewska, Anita¹
Source:	Mathematical Logic Quarterly. 1985, Vol. 31 Issue 19-20, p289-294. 6p.
Subjects:	Algorithms, ALGOL (Computer program language), Computer software, Mathematics, Mathematics theorems
Abstract:	The article offers information on the finite control algorithms (FC- algorithms) and push-down algorithms (PD-algorithms) that helps in describing the properties of Algol-like programs. It mentions that the algorithms are helpful in the mathematical model related to large class of programs including, interactive programs and recursive procedures. It offers information on different classes of theorem proving systems.
Database:	Engineering Source

Description
Abstract:	The article offers information on the finite control algorithms (FC- algorithms) and push-down algorithms (PD-algorithms) that helps in describing the properties of Algol-like programs. It mentions that the algorithms are helpful in the mathematical model related to large class of programs including, interactive programs and recursive procedures. It offers information on different classes of theorem proving systems.
ISSN:	09425616
DOI:	10.1002/malq.19850311902