scientific article; zbMATH DE number 3439981

zbMATH Open0279.68020MaRDI QIDQ4766019FDOQ4766019

Authors: Robin Milner 

Publication date: 1974

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

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Formal languages and automata (68Q45) Analysis of algorithms and problem complexity (68Q25)

Uses Software

• LCF

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