scientific article; zbMATH DE number 1522996

zbMATH Open0971.68018MaRDI QIDQ4511271FDOQ4511271

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

Publication date: 30 October 2000

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

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

zbMATH Keywords

dynamic deductive databases

Mathematics Subject Classification ID

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

Cited In (3)

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