# On a unification problem related to Kreisel's conjecture

Commentationes Mathematicae Universitatis Carolinae (1988)

- Volume: 029, Issue: 3, page 551-556
- ISSN: 0010-2628

## Access Full Article

top## How to cite

topPudlák, Pavel. "On a unification problem related to Kreisel's conjecture." Commentationes Mathematicae Universitatis Carolinae 029.3 (1988): 551-556. <http://eudml.org/doc/17666>.

@article{Pudlák1988,

author = {Pudlák, Pavel},

journal = {Commentationes Mathematicae Universitatis Carolinae},

keywords = {unification; matching},

language = {eng},

number = {3},

pages = {551-556},

publisher = {Charles University in Prague, Faculty of Mathematics and Physics},

title = {On a unification problem related to Kreisel's conjecture},

url = {http://eudml.org/doc/17666},

volume = {029},

year = {1988},

}

TY - JOUR

AU - Pudlák, Pavel

TI - On a unification problem related to Kreisel's conjecture

JO - Commentationes Mathematicae Universitatis Carolinae

PY - 1988

PB - Charles University in Prague, Faculty of Mathematics and Physics

VL - 029

IS - 3

SP - 551

EP - 556

LA - eng

KW - unification; matching

UR - http://eudml.org/doc/17666

ER -

## References

top- M. BAAZ, General solutions of equations with variables for substitutions, preprint.
- M. BAAZ, Generalizing proofs with order-induction, manuscript.
- M. BAAZ, [unknown], Personal communication. Zbl1157.03301
- C.-L. CHANG R. C.-T. LEE, Symbolic logic and mechanical theorem proving, Chapter 5, New York and London, Academic Press 1973. (1973) MR0441028
- W. M. FARMER, Length of proofs and unification theory, Ph.D. thesis, Univ. of Wisconsin, Madison, 1984. (1984)
- W. D. GOLDFARB, The undecidability of the second-order unification problem, Theor. Comput. Sci. 13 (1981), 225-230. (1981) Zbl0457.03006MR0594061
- J. KRAJÍČEK P. PUDLÁK, The number of proof lines and the size of proofs in first order logic, Arch. Math. Logic 27 (1988), 69-84. (1988) MR0955313
- V. P. OREVKOV, Reconstruction of a proof by its analysis, (Russian), Doklady Akad. Nauk 293 (1987), 313-316. (1987) MR0884040
- J. SIEKMAN, Universal unification. In: Shostuk, R. E. ed., 7-th Int. Conf. on Autom. Deduction, LN in Comp. Sci. 170,1-42, Springer-Verlag 1984. (1984) MR0778038

## NotesEmbed ?

topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.