scientific article
From MaRDI portal
Publication:2816365
zbMath1362.68193MaRDI QIDQ2816365
Daniel Găină, Kokichi Futatsugi, Kazuhiro Ogata
Publication date: 8 July 2016
Full work available at URL: http://www.jucs.org/jucs_18_16/constructor_based_logics
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Foundations of logic programming in hybrid logics with user-defined sharing, Birkhoff style calculi for hybrid logics, From hidden to visible: a unified framework for transforming behavioral theories into rewrite theories, Stability of termination and sufficient-completeness under pushouts via amalgamation, On Automation of OTS/CafeOBJ Method, Theorem Proving Based on Proof Scores for Rewrite Theory Specifications of OTSs, A Maude environment for CafeOBJ, Omitting types theorem in hybrid dynamic first-order logic with rigid symbols
