Variant-based decidable satisfiability in initial algebras with predicates
type: Item
instance of: scholarly article
title: Variant-based decidable satisfiability in initial algebras with predicates
DOI: 10.1007/978-3-319-94460-9_18
author: Raúl Gutiérrez
author: José Meseguer
publication date: 2018-09-06T00:00:00Z
full work available at URL: https://arxiv.org/abs/1709.05203
Mathematics Subject Classification ID: 68N30
Mathematics Subject Classification ID: 03B70
zbMATH DE Number: 6932837
zbMATH Keywords: finite variant property
zbMATH Keywords: OS-compactness
zbMATH Keywords: user-definable predicates
zbMATH Keywords: decidable validity
zbMATH Keywords: decidable satisfiability
zbMATH Keywords: initial algebras
MaRDI profile type: Publication
OpenAlex ID: W2962945057
description: scientific article; zbMATH DE number 6932837