scientific article; zbMATH DE number 1350004
From MaRDI portal
Publication:4265397
zbMATH Open0925.68241MaRDI QIDQ4265397FDOQ4265397
Publication date: 12 October 1999
Title of this publication is not available (Why is that?)
Recommendations
Cited In (9)
- Logic and dependent types in the Aldor computer algebra system
- A computer algebra system based on order-sorted algebra
- On coherence in computer algebra
- Title not available (Why is that?)
- Title not available (Why is that?)
- A type system for computer algebra
- A rewrite-based type discipline for a subset of computer algebra
- Une réponse négative à la conjecture de E. Tronci pour les systèmes numériques typés
- Title not available (Why is that?)
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 Q4265397)
