An algebraic theory of structured objects

DOI10.1305/ndjfl/1039700697zbMath0889.03044OpenAlexW2063020325MaRDI QIDQ1377554

Chrysafis Hartonas

Publication date: 14 June 1998

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1039700697

zbMATH Keywords

algebraic theorystructured objectsform systemssituation theory

Mathematics Subject Classification ID

Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Nonclassical and second-order set theories (03E70)

Related Items

Problems of constructing intelligent systems. Intelligent modeling

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Instantiation theory. On the foundations of automated deduction
• Significant parts and identity of artifacts