Correct reasoning about logic programs
type: Item
instance of: scholarly article
zbMATH Open document ID: 1245.68055
author: Jael Kriener
publication date: 2012-08-29T00:00:00Z
full work available at URL: frontdoor f82e.html
Mathematics Subject Classification ID: 68N17
Mathematics Subject Classification ID: 68N30
Mathematics Subject Classification ID: 68T15
zbMATH DE Number: 6073924
zbMATH Keywords: Prolog
zbMATH Keywords: cut
zbMATH Keywords: determinacy inference
zbMATH Keywords: abstract interpretation
zbMATH Keywords: denotational semantics
zbMATH Keywords: automated theorem proving
zbMATH Keywords: Coq
describes a project that uses: Coq
MaRDI profile type: Publication
OpenAlex ID: W2276819882
DOI: 10.4230/LIPICS.ICLP.2011.280
title: Correct reasoning about logic programs
description: scientific article; zbMATH DE number 6073924