منابع مشابه
Amalgamation bases for nil-2 groups of odd exponent
We study amalgams and the strong, weak, and special amalgamation bases in the varieties of nilpotent groups of class two and exponent n, where n is odd. The main result is the characterization of the special amalgamation bases for these varieties. We also characterize the weak and strong bases. For special amalgamation bases we show that there are groups which are special bases in varieties of ...
متن کاملPerfect Bases for Equational Theories
Perfect bases for equational theories are closely related to confluent and finitely terminating term rewrite systems. The two classes have a large overlap, but neither contains the other. The class of perfect bases is recursive. We also investigate a common generalization of both concepts; we call these more general bases normal, and touch the question of their uniqueness. We also give numerous...
متن کاملPerfect bases for differential equations
We present a method for the construction of solutions of certain systems of partial differential equations with polynomial and power series coefficients. For this purpose we introduce the concept of perfect differential operators. Within this framework we formulate division theorems for polynomials and power series. They in turn yield existence theorems for solutions of systems of linear partia...
متن کاملDecidable Reasoning in First-Order Knowledge Bases with Perfect Introspection
Since knowledge bases (KBs) are usually incomplete, they should be able to provide information regarding their own incompleteness, which requires them to introspect on what they know and do not know. An important area of research is to devise models of introspective reasoning that take into account resource limitations. Under the view that a KB is completely characterized by the set of beliefs ...
متن کاملCones, lattices and Hilbert bases of circuits and perfect matchings
There have been a number of results and conjectures regarding the cone, the lattice and the integer cone generated by the (real-valued characteristic functions of) circuits in a binary matroid. In all three cases, one easily formulates necessary conditions for a weight vector to belong to the set in question. Families of matroids for which such necessary conditions are suucient have been determ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Algebra
سال: 1991
ISSN: 0021-8693
DOI: 10.1016/0021-8693(91)90204-l