Proof theory of higher-order equations: Conservativity, normal forms and term rewriting.
type: Item
instance of: scholarly article
title: Proof theory of higher-order equations: Conservativity, normal forms and term rewriting.
zbMATH Open document ID: 1054.68134
DOI: 10.1016/S0022-0000(03)00048-5
published in: Journal of Computer and System Sciences
publication date: 2003-08-19T00:00:00Z
Mathematics Subject Classification ID: 68T15
Mathematics Subject Classification ID: 68Q42
zbMATH DE Number: 1967161
zbMATH Keywords: observational equivalence
author: Karl Meinke
MaRDI profile type: Publication
cites work: Q5762080
cites work: Q4325974
cites work: Q4385532
cites work: Q5520521
cites work: Q3221381
cites work: Q3994895
cites work: Q3962973
cites work: Completeness in the theory of types
cites work: Q4722037
cites work: Q3226265
cites work: On the power of higher-order algebraic specification methods
cites work: Q3727946
cites work: Q3992832
cites work: Universal algebra in higher types
cites work: A recursive second order initial algebra specification of primitive recursion
cites work: A completeness theorem for the expressive power of higher-order algebraic specifications
cites work: Correctness of dataflow and systolic algorithms using algebras of streams
cites work: Q4023900
cites work: Q3809236
cites work: Recursion on the countable functionals
cites work: On observational equivalence and algebraic specification
cites work: Q3853703
full work available at URL: s0022-0000(03)00048-5
OpenAlex ID: W1972927864
description: scientific article; zbMATH DE number 1967161