Semantics of weakening and contraction
- 作者Bart Jacobs
- 卷第69卷
- 期第1期
- 印刷ISSN0168-0072
- 文件大小2165.22KB
- 发表时间1994
- DOI10.1016/0168-0072(94)90020-5
- 页码73-106
同作者推荐
PrefaceYuri Matiyasevich; Anil Nerode · 1996
PrefaceSergei Artemov; Yuri Matiyasevich; Grigori Mints; Anatol Slissenko · 2010
PrefaceYuri Matiyasevich · 2001
Biography of A.O. SlissenkoDanièle Beauquier; Dimitri Grigoriev; Yuri Matiyasevich · 2003
PrefaceYuri Matiyasevich; Sergei Artemov · 2006
Existential arithmetization of Diophantine equationsYuri Matiyasevich · 2009
Multiple serial episodes matchingPatrick Cégielski; Irène Guessarian; Yuri Matiyasevich · 2006
A New Formula for πYuri V. Matiyasevich · The American Mathematical Monthly · 1986