Sketches and computation – II: dynamic evaluation and applications
From MaRDI portal
Publication:4302337
DOI10.1017/S096012950000044XzbMath0822.68063MaRDI QIDQ4302337
Jean-Claude Reynaud, Dominique Duval
Publication date: 14 August 1994
Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)
Symbolic computation and algebraic computation (68W30) Abstract data types; algebraic specification (68Q65) Theories (e.g., algebraic theories), structure, and semantics (18C10) Graphs, diagram schemes, precategories (18A10)
Related Items (10)
Dynamical Gröbner bases ⋮ Dynamic evaluation and algebraic closure in Axiom ⋮ Constructive rereading of Artin-Schreier theory ⋮ Directed evaluation ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Dynamical method in algebra: Effective Nullstellensätze ⋮ Dynamical Gröbner bases over Dedekind rings ⋮ Detecting equivalence of modular specifications with categorical diagrams
Uses Software
This page was built for publication: Sketches and computation – II: dynamic evaluation and applications
