scientific article
From MaRDI portal
Publication:3838764
zbMath0903.03013MaRDI QIDQ3838764
Publication date: 13 August 1998
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Modal logic (including the logic of norms) (03B45) Mechanization of proofs and logical operations (03B35)
Related Items (3)
CoLL: A Confluence Tool for Left-Linear Term Rewrite Systems ⋮ Solving equations with sequence variables and sequence functions ⋮ Flat matching
This page was built for publication:
