scientific article; zbMATH DE number 3797158

MaRDI QIDQ4742289zbMATH OpenFDO

Authors Alberto Pettorossi, Andrzej Skowron

Publication date 1982

zbMATH Keywords

topologycombinatoricsgraph theoryalgebracategory theorylogictheoretical computer sciencedata organizationprogramming languages semanticscircuits designhardware architecturescompiler constructionsdevelopment of programming methodologytheoretical properties of computations

Mathematics Subject Classification ID

General topics in the theory of software (68N01) History of computer science (68-03) Development of contemporary mathematics (01A65) History of general algebraic systems (08-03)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4742289)