scientific article
From MaRDI portal
Publication:3786020
zbMath0643.68138MaRDI QIDQ3786020
Publication date: 1986
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 (10)
A resolution principle for constrained logics ⋮ Unique-sort order-sorted theories : A description as monad morphisms ⋮ Multi-modal logic programming using equational and order-sorted logic ⋮ A modular order-sorted equational generalization algorithm ⋮ Equational completion in order-sorted algebras ⋮ Multimodal logic programming using equational and order-sorted logic ⋮ Order-sorted unification ⋮ Matching - a special case of unification? ⋮ Regular expression order-sorted unification and matching ⋮ Order-Sorted Generalization
This page was built for publication:
