Unification in Boolean Rings and Abelian Groups

Alexandre Boudet; Jean-Pierre Jouannaud; Manfred Schmidt-Schauß

doi:10.1016/s0747-7171(89)80054-9

ScienceGate Book Chapters

JOURNAL ARTICLE

Unification in Boolean Rings and Abelian Groups

Alexandre Boudet Jean-Pierre Jouannaud Manfred Schmidt-Schauß

Year: 1989 Journal: Journal of Symbolic Computation Vol: 8 (5)Pages: 449-477 Publisher: Elsevier BV

DOI: 10.1016/s0747-7171(89)80054-9

Get Full-Text PDF Get Analytical Report

Keywords:

Unification Mathematics Abelian group Boolean function Discrete mathematics Constant (computer programming) Combinatorics Function (biology) Computer science

Metrics

Cited By

3.06

FWCI (Field Weighted Citation Impact)

Refs

0.94

Citation Normalized Percentile

Is in top 1%

Is in top 10%

Citation History

Topics

Logic, programming, and type systems

Physical Sciences → Computer Science → Artificial Intelligence

Formal Methods in Verification

Physical Sciences → Computer Science → Computational Theory and Mathematics

Parallel Computing and Optimization Techniques

Physical Sciences → Computer Science → Hardware and Architecture

Unification in Boolean Rings and Abelian Groups

Metrics

Citation History

Topics

Related Documents

Unification in free extensions of Boolean rings and Abelian groups

Boolean Algebras, Generalized Abelian Rings, and Grothendieck Groups

Unification in Boolean rings

Unification in boolean rings

Boolean powers of abelian groups