On the declarative and procedural semantics of definite metalogic programs
type: Item
instance of: scholarly article
title: On the declarative and procedural semantics of definite metalogic programs
zbMATH Open document ID: 0851.68011
author: Christopher P. Higgins
publication date: 1996-07-28T00:00:00Z
Mathematics Subject Classification ID: 68N17
zbMATH DE Number: 910479
zbMATH Keywords: procedural semantics
zbMATH Keywords: amalgamation
zbMATH Keywords: object language
zbMATH Keywords: metalanguage
zbMATH Keywords: definite metalogic programs
MaRDI profile type: Publication
OpenAlex ID: W2049106193
DOI: 10.1093/LOGCOM/6.3.363
published in: Journal Of Logic And Computation
description: scientific article; zbMATH DE number 910479