On a unification problem related to Kreisel's conjecture

Pavel Pudlák

Commentationes Mathematicae Universitatis Carolinae (1988)

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

How to cite

top

Pudlá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
  1. M. BAAZ, General solutions of equations with variables for substitutions, preprint. 
  2. M. BAAZ, Generalizing proofs with order-induction, manuscript. 
  3. M. BAAZ, [unknown], Personal communication. Zbl1157.03301
  4. C.-L. CHANG R. C.-T. LEE, Symbolic logic and mechanical theorem proving, Chapter 5, New York and London, Academic Press 1973. (1973) MR0441028
  5. W. M. FARMER, Length of proofs and unification theory, Ph.D. thesis, Univ. of Wisconsin, Madison, 1984. (1984) 
  6. W. D. GOLDFARB, The undecidability of the second-order unification problem, Theor. Comput. Sci. 13 (1981), 225-230. (1981) Zbl0457.03006MR0594061
  7. 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
  8. V. P. OREVKOV, Reconstruction of a proof by its analysis, (Russian), Doklady Akad. Nauk 293 (1987), 313-316. (1987) MR0884040
  9. 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 ?

top

You must be logged in to post comments.