[Bec2002e] Proving consistency of equational theories in bounded arithmetic
| beckmann:conrws:02 (Article)
|
| Author(s) | Beckmann A. |
| Title | "Proving consistency of equational theories in bounded arithmetic" |
| Date | 2002 |
| Journal | J. Symbolic Logic |
| Volume | 67 |
| Number | - |
| Page(s) | 279--296 |
@article{beckmann:conrws:02,
journal = {J. Symbolic Logic},
volume = {67},
title = {Proving consistency of equational theories in bounded arithmetic},
author = {Beckmann, Arnold},
year = {2002},
fjournal = {The Journal of Symbolic Logic},
pages = {279--296},
}
Submit a bug
This document was generated by bib2html 1.2.
Copyright © 1998-04 Stéphane GALLAND (under the GNU General Public License)