scientific article; zbMATH DE number 3407173

zbMATH Open0257.68060MaRDI QIDQ5672191FDOQ5672191

Authors:

Publication date: 1972

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) Computability and recursion theory (03D99)

Cited In (2)

• Deductive tools of an algebraic programming system
• Theorem proving in a mathematical information environment

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