• 検索結果がありません。

A note on nite sets of terms closed under subterms and unication

N/A
N/A
Protected

Academic year: 2022

シェア "A note on nite sets of terms closed under subterms and unication"

Copied!
1
0
0

読み込み中.... (全文を見る)

全文

(1)

Jaroslav Jeˇ zek

A note on nite sets of terms closed under subterms and unication

Comment.Math.Univ.Carolinae 37,3 (1996) 657-658.

Abstract: The paper contains two remarks on finite sets of groupoid terms closed under subterms and the application of unifying pairs.

Keywords: terms, unification

AMS Subject Classification: 08B05

1

参照

関連したドキュメント

Extensive research on generalizing closedness was done in recent years as the no- tions of semi-generalized closed, generalized semi-closed, generalized α-closed, α- generalized

Recently, a significant contribution to the theory of generalized open sets has been presented by A. Especially, the author defined some basic operators on generalized topological

Extensive research on generalizing closedness was done in recent years as the no- tions of semi-generalized closed, generalized semi-closed, generalized α-closed, α- generalized

Numerical exper- iments illustrate that two competitive species, one of which survive and the other vanish in a fixed domain, both survive in a domain with a large evolving rate,

However, this paper explicitly evaluates the context integral in terms of zonal polynomials, thus establishing a rela- tionship between zonal polynomial integrals and

Let A be a finite subset of complex numbers. Very recently Chang [3] proved ε = 1/54 to finite sets of complex numbers. For further results and related problems we refer to [4, 5]

In this paper, we introduce and study topological properties of λ - derived, λ-border, λ-frontier and λ-exterior of a set using the concept of λ-open sets.. We also present and

Counting conjugacy classes: One of the main theorems in representation theory of finite groups states that the number of (equivalence classes of) irreducible representations of a