Publication:3698288
From MaRDI portal
zbMath0577.68026MaRDI QIDQ3698288
Publication date: 1985
complete proof system; infinitary inference rule; Classes of interpretations; functions of finite types; Logic of inequalities; n-rational algebras; semantics of recursive programs
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items