scientific article; zbMATH DE number 1200109

zbMATH Open0921.68013MaRDI QIDQ4211368FDOQ4211368

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

Publication date: 17 September 1998

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

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 (4)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Verified Textbook Algorithms

   Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎

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)