scientific article; zbMATH DE number 3794056

zbMATH Open0504.03021MaRDI QIDQ4739904

J. Meyer Ch., J. A. Bergstra

Publication date: 1981

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

zbMATH Keywords

computabilityalgebraic structuresconjunctive normal formalgorithmic logicfunctional effective definitional schemes

Mathematics Subject Classification ID

Automata and formal grammars in connection with logical questions (03D05) General logic (03B99)

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