An algebraic theory of structured objects
type: Item
instance of: scholarly article
title: An algebraic theory of structured objects
zbMATH Open document ID: 0889.03044
author: Chrysafis Hartonas
published in: Notre Dame Journal of Formal Logic
publication date: 1998-06-14T00:00:00Z
Mathematics Subject Classification ID: 03E70
Mathematics Subject Classification ID: 03B70
Mathematics Subject Classification ID: 68Q85
zbMATH DE Number: 1109539
zbMATH Keywords: situation theory
zbMATH Keywords: algebraic theory
zbMATH Keywords: structured objects
zbMATH Keywords: form systems
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.1305/ndjfl/1039700697
OpenAlex ID: W2063020325
cites work: Q3992552
cites work: Q3992554
cites work: Q4075450
cites work: Q3993251
cites work: Significant parts and identity of artifacts
cites work: Instantiation theory. On the foundations of automated deduction
DOI: 10.1305/NDJFL/1039700697
description: scientific article; zbMATH DE number 1109539