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

Research output: Contribution to journal › Article › peer-review

1 Scopus citations

Original language	English
Pages (from-to)	289-294
Number of pages	6
Journal	Mathematical Logic Quarterly
Volume	31
Issue number	19-20
DOIs	https://doi.org/10.1002/malq.19850311902
State	Published - 1985

Access to Document

@article{f0e387668959441bb21a931e5c2da0ae,

title = "Some Remarks on Theorem Proving Systems and Mazurkiewicz Algorithms Associated with them",

author = "Anita Wasilewska",

year = "1985",

doi = "10.1002/malq.19850311902",

language = "English",

volume = "31",

pages = "289--294",

journal = "Mathematical Logic Quarterly",

issn = "0942-5616",

number = "19-20",

}

TY - JOUR

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

AU - Wasilewska, Anita

PY - 1985

Y1 - 1985

UR - https://www.scopus.com/pages/publications/84985423191

U2 - 10.1002/malq.19850311902

DO - 10.1002/malq.19850311902

M3 - Article

AN - SCOPUS:84985423191

SN - 0942-5616

VL - 31

SP - 289

EP - 294

JO - Mathematical Logic Quarterly

JF - Mathematical Logic Quarterly

IS - 19-20

ER -