A note on finite sets of terms closed under subterms and unification
Commentationes Mathematicae Universitatis Carolinae (1996)
- Volume: 37, Issue: 3, page 655-656
- ISSN: 0010-2628
Access Full Article
top
Abstract
topHow to cite
topJežek, Jaroslav. "A note on finite sets of terms closed under subterms and unification." Commentationes Mathematicae Universitatis Carolinae 37.3 (1996): 655-656. <http://eudml.org/doc/247930>.
@article{Ježek1996,
abstract = {The paper contains two remarks on finite sets of groupoid terms closed under subterms and the application of unifying pairs.},
author = {Ježek, Jaroslav},
journal = {Commentationes Mathematicae Universitatis Carolinae},
keywords = {terms; unification; terms; unification},
language = {eng},
number = {3},
pages = {655-656},
publisher = {Charles University in Prague, Faculty of Mathematics and Physics},
title = {A note on finite sets of terms closed under subterms and unification},
url = {http://eudml.org/doc/247930},
volume = {37},
year = {1996},
}
TY - JOUR
AU - Ježek, Jaroslav
TI - A note on finite sets of terms closed under subterms and unification
JO - Commentationes Mathematicae Universitatis Carolinae
PY - 1996
PB - Charles University in Prague, Faculty of Mathematics and Physics
VL - 37
IS - 3
SP - 655
EP - 656
AB - The paper contains two remarks on finite sets of groupoid terms closed under subterms and the application of unifying pairs.
LA - eng
KW - terms; unification; terms; unification
UR - http://eudml.org/doc/247930
ER -
References
top- Dershowitz N., Jouannaud J.-P., Rewrite systems, Chapter 6, 243-320 in J. van Leeuwen, ed., Handbook of Theoretical Computer Science, B: Formal Methods and Semantics, North Holland, Amsterdam, 1990. Zbl0900.68283MR1127191
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.