scientific article; zbMATH DE number 1241647

MaRDI QIDQ4225095zbMATH OpenFDO

Authors Naoyuki Harada, Hiroki Ishizaka, S. Arikawa

Publication date 18 January 1999

zbMATH Keywords

elementary formal system

Mathematics Subject Classification ID

Logic programming (68N17) Theory of compilers and interpreters (68N20)

Recommendations

• scientific article; zbMATH DE number 2084848
• Learning elementary formal systems
• Advanced elementary formal systems.
• scientific article; zbMATH DE number 2080667

Cited in

(2)

• scientific article; zbMATH DE number 1372648 (Why is no real title available?)
• scientific article; zbMATH DE number 2084848 (Why is no real title available?)

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