The expressive powers of the logic programming semantics
type: Item
instance of: scholarly article
title: The expressive powers of the logic programming semantics
zbMATH Open document ID: 0831.68012
author: John S. Schlipf
published in: Journal of Computer and System Sciences
publication date: 1995-10-25T00:00:00Z
Mathematics Subject Classification ID: 68N17
Mathematics Subject Classification ID: 68Q55
zbMATH DE Number: 809409
zbMATH Keywords: semantics
zbMATH Keywords: infinite Herbrand universes
MaRDI profile type: Publication
full work available at URL: jcss.1995.1053
OpenAlex ID: W2043182143
DOI: 10.1006/JCSS.1995.1053
description: scientific article; zbMATH DE number 809409