Institutions for logic programming
type: Item
instance of: scholarly article
title: Institutions for logic programming
zbMATH Open document ID: 0901.68027
DOI: 10.1016/S0304-3975(96)00164-8
author: Fernando Orejas
author: Elvira Pino
author: Hartmut Ehrig
published in: Theoretical Computer Science
publication date: 1998-07-22T00:00:00Z
Mathematics Subject Classification ID: 68N17
zbMATH DE Number: 1178199
zbMATH Keywords: Horn clause logic
MaRDI profile type: Publication
cites work: Q4428289
cites work: Q3997112
cites work: Q5688899
cites work: Q3906394
cites work: Abstract and behaviour module specifications
cites work: Q3221381
cites work: Q3031906
cites work: Declarative modeling of the operational behavior of logic languages
cites work: Q4036549
cites work: Q3212265
cites work: Q5416166
cites work: Institutions: abstract model theory for specification and programming
cites work: Q3030249
cites work: Q3339245
cites work: A logical analysis of modules in logic programming
cites work: Q4858577
cites work: A calculus for the construction of modular prolog programs
cites work: Negation and constraint logic programming
cites work: Q4385539
full work available at URL: s0304-3975(96)00164-8
OpenAlex ID: W1997197283
description: scientific article; zbMATH DE number 1178199