Higher-Order Critical Pairs

Sorry, there's nothing here.
0102030'91'94'97'00'03'06'09'12'15
Citations per Year

318 Citations

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

See our FAQ for additional information.

Cite this paper

@inproceedings{Nipkow1991HigherOrderCP, title={Higher-Order Critical Pairs}, author={Tobias Nipkow}, booktitle={LICS}, year={1991} }