Extending \(H_1\)-clauses with disequalities
type: Item
instance of: scholarly article
title: Extending \(H_1\)-clauses with disequalities
zbMATH Open document ID: 1260.68115
author: Helmut Seidl
author: Andreas Reuss
published in: Information Processing Letters
publication date: 2013-04-04T00:00:00Z
Mathematics Subject Classification ID: 68N30
Mathematics Subject Classification ID: 68Q45
zbMATH DE Number: 6150480
zbMATH Keywords: formal methods
zbMATH Keywords: program analysis
zbMATH Keywords: Horn clauses
zbMATH Keywords: term disequalities
zbMATH Keywords: \(H_{1}\)-normalization
zbMATH Keywords: finite tree automata
MaRDI profile type: Publication
full work available at URL: j.ipl.2011.07.011
OpenAlex ID: W2000550348
cites work: Deciding \(\mathcal H_1\) by resolution
cites work: Verification, Model Checking, and Abstract Interpretation
cites work: Q4411948
cites work: Bottom-Up Tree Automata with Term Constraints
cites work: Q4263167
DOI: 10.1016/J.IPL.2011.07.011
description: scientific article; zbMATH DE number 6150480