Logic programming in a fragment of intuitionistic linear logic
type: Item
instance of: scholarly article
title: Logic programming in a fragment of intuitionistic linear logic
zbMATH Open document ID: 0807.68016
author: Joshua S. Hodas
author: Dale Miller
published in: Information and Computation
publication date: 1994-07-18T00:00:00Z
Mathematics Subject Classification ID: 68N17
Mathematics Subject Classification ID: 03B20
Mathematics Subject Classification ID: 68N15
zbMATH DE Number: 590745
zbMATH Keywords: intuitionistic logic
zbMATH Keywords: logic programming language
describes a project that uses: Lolli
MaRDI profile type: Publication
full work available at URL: inco.1994.1036
OpenAlex ID: W2106458801
DOI: 10.1006/INCO.1994.1036
description: scientific article; zbMATH DE number 590745