scientific article; zbMATH DE number 962401

zbMATH Open0864.68043MaRDI QIDQ5690664FDOQ5690664

Jinyun Xue

Publication date: 7 January 1997

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

zbMATH Keywords

data structurealgorithm designalgorithmic programs

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Parallel algorithms in computer science (68W10)

Cited In (2)

• Formal proof of a program: find
• Formal Derivation of a High-Trustworthy Generic Algorithmic Program for Solving a Class of Path Problems

   Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Logical and algorithmic formalisms for the problem of correct program design 👍 👎
• Formal methods in computer technologies 👍 👎

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