scientific article
From MaRDI portal
Publication:4012178
zbMath0746.68081MaRDI QIDQ4012178
Publication date: 27 September 1992
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (8)
Unnamed Item ⋮ A modal loosely guarded fragment of second-order propositional modal logic ⋮ The seven virtues of simple type theory ⋮ MBase: Representing knowledge and context for the integration of mathematical software systems ⋮ A Knuth-Bendix-like ordering for orienting combinator equations ⋮ A combinator-based superposition calculus for higher-order logic ⋮ Translation Templates to Support Strategy Development in PVS ⋮ SET-VAR
Uses Software
This page was built for publication:
