scientific article; zbMATH DE number 2040721

MaRDI QIDQ4449804zbMATH OpenFDO

Authors Peter Galos, Peter Nordin, Joel Olsén, Kristofer Sundén Ringnér

Publication date 11 February 2004

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2724/27241806.htm

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Computing methodologies and applications (68U99) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Recommendations

• Automatic programming: A tutorial on formal methodologies
• On automated program construction and verification
• scientific article; zbMATH DE number 3963167
• An approach to automatic deductive synthesis of functional programs
• scientific article; zbMATH DE number 1974019
• scientific article; zbMATH DE number 108494
• Automated Complexity Analysis Based on Context-Sensitive Rewriting

Cited in

(2)

• Computable model discovery and high-level-programming approximations to algorithmic complexity
• Autonomous theory building systems

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