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 ?
topYou must be logged in to post comments.
To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.