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 |
| FullText | Links: – Type: pdflink Text: Availability: 0 |
|---|---|
| Header | DbId: egs DbLabel: Engineering Source An: 62674384 AccessLevel: 6 PubType: Academic Journal PubTypeId: academicJournal PreciseRelevancyScore: 0 |
| IllustrationInfo | |
| Items | – Name: Title Label: Title Group: Ti Data: Some Remarks on Theorem Proving Systems and Mazurkiewicz Algorithms Associated with them. – Name: Author Label: Authors Group: Au Data: <searchLink fieldCode="AR" term="%22Wasilewska%2C+Anita%22">Wasilewska, Anita</searchLink><relatesTo>1</relatesTo> – Name: TitleSource Label: Source Group: Src Data: <searchLink fieldCode="JN" term="%22Mathematical+Logic+Quarterly%22">Mathematical Logic Quarterly</searchLink>. 1985, Vol. 31 Issue 19-20, p289-294. 6p. – Name: Subject Label: Subjects Group: Su Data: <searchLink fieldCode="DE" term="%22Algorithms%22">Algorithms</searchLink><br /><searchLink fieldCode="DE" term="%22ALGOL+%28Computer+program+language%29%22">ALGOL (Computer program language)</searchLink><br /><searchLink fieldCode="DE" term="%22Computer+software%22">Computer software</searchLink><br /><searchLink fieldCode="DE" term="%22Mathematics%22">Mathematics</searchLink><br /><searchLink fieldCode="DE" term="%22Mathematics+theorems%22">Mathematics theorems</searchLink> – Name: Abstract Label: Abstract Group: Ab Data: 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. |
| PLink | https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=egs&AN=62674384 |
| RecordInfo | BibRecord: BibEntity: Identifiers: – Type: doi Value: 10.1002/malq.19850311902 Languages: – Code: eng Text: English PhysicalDescription: Pagination: PageCount: 6 StartPage: 289 Subjects: – SubjectFull: Algorithms Type: general – SubjectFull: ALGOL (Computer program language) Type: general – SubjectFull: Computer software Type: general – SubjectFull: Mathematics Type: general – SubjectFull: Mathematics theorems Type: general Titles: – TitleFull: Some Remarks on Theorem Proving Systems and Mazurkiewicz Algorithms Associated with them. Type: main BibRelationships: HasContributorRelationships: – PersonEntity: Name: NameFull: Wasilewska, Anita IsPartOfRelationships: – BibEntity: Dates: – D: 01 M: 06 Text: 1985 Type: published Y: 1985 Identifiers: – Type: issn-print Value: 09425616 Numbering: – Type: volume Value: 31 – Type: issue Value: 19-20 Titles: – TitleFull: Mathematical Logic Quarterly Type: main |
| ResultId | 1 |
