Completion and Its Applications
- Authors
- Ackermann
- Bachmair
- Bachmair
- Benninghofen
- Birkhoff
- Boyer
- Burstall
- Butler
- Chang
- Curry
- Davis
- Dershowitz
- Dershowitz
- Dershowitz
- Dershowitz
- Dershowitz
- Evans
- Fages
- Ganzinger
- Gnaedig
- Goguen
- Guttag
- Hogger
- Hsiang
- Huet
- Huet
- Huet
- Huet
- Hullot
- Jouannaud
- Kaplan
- Kaplan
- Kaplan
- Kapur
- Kapur
- Kapur
- Kapur
- Klop
- Knuth
- Lankford
- Lankford
- Lankford
- Lankford
- LeChenadec
- Lescanne
- Livesey
- Manna
- Manna
- Metivier
- Nelson
- Newman
- Padawitz
- Paul
- Paul
- Peterson
- Peterson
- Plaisted
- Plaisted
- Robinson
- Siekmann
- Slagle
- Stickel
- Stone
- Takeuti
- Watts
- Zhegalkin
- Publication date
- 1 January 1989
- Publisher
- 'Elsevier BV'
- Doi