scientific article; zbMATH DE number 1405632
From MaRDI portal
Publication:4938611
zbMath0943.68153MaRDI QIDQ4938611
Jean-Pierre Jouannaud, Frédéric Blanqui, Mitsuhiro Okada
Publication date: 13 September 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Abstract data types; algebraic specification (68Q65) Mechanization of proofs and logical operations (03B35) Grammars and rewriting systems (68Q42)
Related Items
Complete algebraic semantics for second-order rewriting systems based on abstract syntax with variable binding, An initial algebra approach to term rewriting systems with variable binders, Normal Higher-Order Termination, Termination of rewrite relations on \(\lambda\)-terms based on Girard's notion of reducibility, First-order automated reasoning with theories: when deduction modulo theory meets practice, A domain model characterising strong normalisation, Remarks on Isomorphisms of Simple Inductive Types, Inductive-data-type systems
