Author:
Adamowicz Zofia,Kołodziejczyk Leszek Aleksander
Subject
General Computer Science,Theoretical Computer Science
Reference10 articles.
1. A contribution to the end-extension problem and the Π1 conservativeness problem;Adamowicz;Ann. Pure Appl. Logic,1993
2. Z. Adamowicz, On tableau consistency in weak theories, Preprint 618, Institute of Mathematics of the Polish Academy of Sciences, Warsaw, July 2001.
3. Herbrand consistency and bounded arithmetic;Adamowicz;Fund. Math.,2002
4. On Herbrand type consistency in weak theories;Adamowicz;Arch. Math. Logic,2001
5. On complexity reduction of Σ1 formulas;Adamowicz;Arch. Math. Logic,2003
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献