scientific article
From MaRDI portal
Publication:3024848
zbMath1063.03505MaRDI QIDQ3024848
Jaco van de Pol, Helmut Schwichtenberg
Publication date: 4 July 2005
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Mechanization of proofs and logical operations (03B35) Grammars and rewriting systems (68Q42) Proof theory in general (including proof-theoretic semantics) (03F03)
Related Items (13)
A recursive path ordering for higher-order terms in η-long β-normal form ⋮ Verifying termination and reduction properties about higher-order logic programs ⋮ Higher-order rewrite systems and their confluence ⋮ Normal Higher-Order Termination ⋮ The Computability Path Ordering: The End of a Quest ⋮ The variable containment problem ⋮ Two different strong normalization proofs? ⋮ Non-strictly positive fixed points for classical natural deduction ⋮ Unnamed Item ⋮ On the longest perpetual reductions in orthogonal expression reduction systems ⋮ Rewrite orderings for higher-order terms in \(\eta\)-long \(\beta\)-normal form and the recursive path ordering ⋮ Perpetual reductions in \(\lambda\)-calculus ⋮ The practice of logical frameworks
This page was built for publication:
