scientific article; zbMATH DE number 14664
From MaRDI portal
Publication:3977129
Cited in
(8)- scientific article; zbMATH DE number 1206051 (Why is no real title available?)
- Ensuring the quasi-termination of needed narrowing computations
- scientific article; zbMATH DE number 4084915 (Why is no real title available?)
- Computing circumscription revisited: A reduction algorithm
- Negative Results on the Reduction of the Recursion Scheme
- scientific article; zbMATH DE number 5125120 (Why is no real title available?)
- Detecting unnecessary reductions in an involutive basis computation
- scientific article; zbMATH DE number 1303639 (Why is no real title available?)
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)