scientific article; zbMATH DE number 1200109

MaRDI QIDQ4211368zbMATH OpenFDO

Authors Militon Frenţiu, Ioan Lazăr, Simona Motogna, V. Prejmeran

Publication date 17 September 1998

zbMATH Keywords

algorithm analysisprogram semantics

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) General topics in the theory of software (68N01) Theory of programming languages (68N15) Data structures (68P05) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Parallel algorithms in computer science (68W10)

Cited in

(8)

• scientific article; zbMATH DE number 53101 (Why is no real title available?)
• scientific article; zbMATH DE number 1307417 (Why is no real title available?)
• scientific article; zbMATH DE number 568873 (Why is no real title available?)
• scientific article; zbMATH DE number 1042201 (Why is no real title available?)
• scientific article; zbMATH DE number 194641 (Why is no real title available?)
• scientific article; zbMATH DE number 1872988 (Why is no real title available?)
• scientific article; zbMATH DE number 7657198 (Why is no real title available?)
• Verified Textbook Algorithms

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