scientific article; zbMATH DE number 14664
From MaRDI portal
Publication:3977129
Cited in
(8)- Computing circumscription revisited: A reduction algorithm
- Detecting unnecessary reductions in an involutive basis computation
- scientific article; zbMATH DE number 5125120 (Why is no real title available?)
- Negative Results on the Reduction of the Recursion Scheme
- scientific article; zbMATH DE number 4084915 (Why is no real title available?)
- scientific article; zbMATH DE number 1206051 (Why is no real title available?)
- scientific article; zbMATH DE number 1303639 (Why is no real title available?)
- Ensuring the quasi-termination of needed narrowing computations
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3977129)