scientific article; zbMATH DE number 1522996

MaRDI QIDQ4511271zbMATH OpenFDO

Authors M. K. Valiev, Michael I. Dekhtyar, Alexandre Dikovsky

Publication date 30 October 2000

zbMATH Keywords

dynamic deductive databases

Mathematics Subject Classification ID

Logic programming (68N17) Temporal logic (03B44) Logic in computer science (03B70)

Recommendations

• Temporal logic programming
• scientific article; zbMATH DE number 4119669
• The temporal logic of branching time
• scientific article; zbMATH DE number 47403
• scientific article; zbMATH DE number 3846861

Cited in

(3)

• scientific article; zbMATH DE number 4037184 (Why is no real title available?)
• Biography of Alexandre Dikovsky
• On feasible cases of checking multi-agent systems behavior.

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