Unification in a Combination of Arbitrary Disjoint Equational Theories

Sorry, there's nothing here.

Statistics

01020'91'94'97'00'03'06'09'12'15
Citations per Year

110 Citations

Semantic Scholar estimates that this publication has 110 citations based on the available data.

See our FAQ for additional information.

Cite this paper

@article{SchmidtSchau1988UnificationIA, title={Unification in a Combination of Arbitrary Disjoint Equational Theories}, author={Manfred Schmidt-Schau\ss}, journal={J. Symb. Comput.}, year={1988}, volume={8}, pages={51-99} }