scientific article; zbMATH DE number 3846861

zbMATH Open0533.68035MaRDI QIDQ3316583FDOQ3316583

Authors: Aizhu Zhang, Tong Gao Tang 

Publication date: 1984

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

Recommendations

• scientific article; zbMATH DE number 3972843
• Nonclausal deduction in first-order temporal logic
• scientific article; zbMATH DE number 1059322
• scientific article; zbMATH DE number 3985193
• scientific article; zbMATH DE number 4055577

zbMATH Keywords

programsModelsfirst order temporal logic

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)

Cited In (7)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Propositional linear temporal logic with initial validity semantics
• A formalization of programs in first-order logic with a discrete linear order
• Integrating predicate transition nets with first order temporal logic in the specification and verification of concurrent systems
• 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 Q3316583)