scientific article; zbMATH DE number 2110615

zbMath1097.68541MaRDI QIDQ4823135

Frank Pfenning

Publication date: 26 October 2004

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (2)

Call-by-name extensionality and confluence ⋮ A Maude environment for CafeOBJ

Uses Software

• Twelf
• Automath
• ALF
• Elf

This page was built for publication: