scientific article; zbMATH DE number 3924086

zbMATH Open0577.68001MaRDI QIDQ3698262FDOQ3698262

Authors:

Publication date: 1984

Title of this publication is not available (Why is that?)

zbMATH Keywords

ConferenceProceedingsTokyoFifth generation computer systems

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Theory of software (68N99)

Cited In (3)

• Why Horn formulas matter in computer science: initial structures and generic examples
• Unification theory
• Non-strict independence-based program parallelization using sharing and freeness information

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 Q3698262)