scientific article; zbMATH DE number 3845031

zbMATH Open0532.68028MaRDI QIDQ3314971FDOQ3314971

Authors: Ivan Stojmenović, Vojislav Stojković 

Publication date: 1982

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

Recommendations

• Transformations of logic programs on infinite lists
• The theory of lists and \(\Sigma\)-definability
• scientific article; zbMATH DE number 176722
• scientific article; zbMATH DE number 176725
• scientific article; zbMATH DE number 4057488

zbMATH Keywords

functional programmingcorrectnesslistsprogram provingelementary functions on lists, structural induction

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Cited In (2)

• Title not available (Why is that?)
• Proving Properties about Lists Using Containers

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