scientific article; zbMATH DE number 753779
From MaRDI portal
zbMath0823.03032MaRDI QIDQ4698612
Publication date: 31 October 1995
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Twenty years of rewriting logic, On extensibility of proof checkers, A step towards absolute versions of metamathematical results, Constructibility and decidability versus domain independence and absoluteness, Automated search for Gödel's proofs, Generalizing classical and effective model theory in theories of operations and classes
