【Created on October 31, 2023】 Integration of CiNii Dissertations and CiNii Books into CiNii Research

Impact of the Release of the New "NDL Search" on CiNii Services

Orderings for Equational Proofs

1 Citations

BACHMAIR L.

Journal

Proc. Sympo. on Logic in Computer Science

Proc. Sympo. on Logic in Computer Science 346-357, 1986

Citations (1)*help

See more

Details 詳細情報について

CRID

1571698598998969216
NII Article ID

10000013941
Data Source
- CiNii Articles

Export

Report a problem

Back to top