Internet Archive Scholar

A strong restriction of the inductive completion procedure

Laurent Fribourg
1989 Journal of symbolic computation  

Preserved Fulltext

fulltext thumbnail
Web Archive Capture PDF (1.5 MB)
https://web.archive.org/web/20171001180159/http://publisher-connector.core.ac.uk/resourcesync/data/elsevier/pdf/a7f/aHR0cDovL2FwaS5lbHNldmllci5jb20vY29udGVudC9hcnRpY2xlL3BpaS9zMDc0NzcxNzE4OTgwMDY5MA%3D%3D.pdf

A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL. The file type is application/pdf.

doi:10.1016/s0747-7171(89)80069-0 fatcat:4rgttgj3abcgblolbwvs36ybxe
Szczepanski
Citation

Laurent Fribourg. "A strong restriction of the inductive completion procedure." Journal of symbolic computation 8.3 (1989) 253-276