Deterministic Algorithms, Simple Languages And One‐to‐One Gentzen Type Formalizations

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

Original language	English
Pages (from-to)	181-188
Number of pages	8
Journal	Mathematical Logic Quarterly
Volume	32
Issue number	10-12
DOIs	https://doi.org/10.1002/malq.19860321004
State	Published - 1986

Access to Document

@article{fe9c8eb3677c43f29f7223b96b8047bc,

title = "Deterministic Algorithms, Simple Languages And One‐to‐One Gentzen Type Formalizations",

author = "Anita Wasilewska",

year = "1986",

doi = "10.1002/malq.19860321004",

language = "English",

volume = "32",

pages = "181--188",

journal = "Mathematical Logic Quarterly",

issn = "0942-5616",

number = "10-12",

}

TY - JOUR

T1 - Deterministic Algorithms, Simple Languages And One‐to‐One Gentzen Type Formalizations

AU - Wasilewska, Anita

PY - 1986

Y1 - 1986

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

U2 - 10.1002/malq.19860321004

DO - 10.1002/malq.19860321004

M3 - Article

AN - SCOPUS:84985315052

SN - 0942-5616

VL - 32

SP - 181

EP - 188

JO - Mathematical Logic Quarterly

JF - Mathematical Logic Quarterly

IS - 10-12

ER -