scientific article; zbMATH DE number 192798

zbMATH Open0825.68598MaRDI QIDQ4039698FDOQ4039698

Authors:

Publication date: 5 June 1993

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

zbMATH Keywords

Logic

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Logic in artificial intelligence (68T27) Logic in computer science (03B70)

Cited In (3)

• Probabilistic call by push value
• A polynomial dynamic system approach to software design for attractivity requirement
• Using heuristic search for finding deadlocks in concurrent systems

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