scientific article; zbMATH DE number 1200109

zbMATH Open0921.68013MaRDI QIDQ4211368FDOQ4211368

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

Publication date: 17 September 1998

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

Recommendations

• scientific article; zbMATH DE number 1307417
• scientific article; zbMATH DE number 568873
• scientific article; zbMATH DE number 53101

zbMATH Keywords

program semanticsalgorithm analysis

Mathematics Subject Classification ID

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

Cited In (5)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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)