scientific article; zbMATH DE number 1263432

zbMATH Open0964.68519MaRDI QIDQ4234331

Jason F. Harris

Publication date: 16 July 2001

Title of this publication is not available (Why is that?)

zbMATH Keywords

symbolic computationMathematica

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Grammars and rewriting systems (68Q42)

Related Items (2)

Syntax-guided rewrite rule enumeration for SMT solvers ⋮ Modeling inheritance as coercion in a symbolic computation system

Uses Software

• 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 Q4234331)