scientific article; zbMATH DE number 4119594

MaRDI QIDQ4733378zbMATH OpenFDO

Authors Antony Galton

Publication date 1987

zbMATH Keywords

artificial intelligencecomputer sciencephilosophytemporal logictemporal logic programming languageTempura

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) Specification and verification (program logics, model checking, etc.) (68Q60) Artificial intelligence (68T99)

Cited in

(12)

• Selected temporal logic systems: an attempt at engineering evaluation
• scientific article; zbMATH DE number 4158604 (Why is no real title available?)
• The arrow of time through the lens of computing
• scientific article; zbMATH DE number 4081516 (Why is no real title available?)
• scientific article; zbMATH DE number 4082943 (Why is no real title available?)
• scientific article; zbMATH DE number 4085066 (Why is no real title available?)
• scientific article; zbMATH DE number 1749195 (Why is no real title available?)
• scientific article; zbMATH DE number 194496 (Why is no real title available?)
• scientific article; zbMATH DE number 4119592 (Why is no real title available?)
• scientific article; zbMATH DE number 4119593 (Why is no real title available?)
• scientific article; zbMATH DE number 4119670 (Why is no real title available?)
• scientific article; zbMATH DE number 773990 (Why is no real title available?)

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