Conflict-driven conditional termination
type: Item
instance of: scholarly article
title: Conflict-driven conditional termination
zbMATH Open document ID: 1381.68155
DOI: 10.1007/978-3-319-21668-3_16
author: Vijay D'Silva
author: C. Urban
publication date: 2018-03-01T00:00:00Z
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 68T15
zbMATH DE Number: 6845637
describes a project that uses: FuncTion
describes a project that uses: Ultimate Automizer
describes a project that uses: AProVE
describes a project that uses: Apron
MaRDI profile type: Publication
full work available at URL: 978-3-319-21668-3 16
OpenAlex ID: W1025122386
description: scientific article; zbMATH DE number 6845637