Some Remarks on Theorem Proving Systems and Mazurkiewicz Algorithms Associated with them.
Saved in:
| Title: | Some Remarks on Theorem Proving Systems and Mazurkiewicz Algorithms Associated with them. |
|---|---|
| Authors: | Wasilewska, Anita1 |
| 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 |
Be the first to leave a comment!
