Corrigendum to: ``The power of temporal proofs''
type: Item
instance of: scholarly article
title: Corrigendum to: ``The power of temporal proofs''
zbMATH Open document ID: 0701.03009
DOI: 10.1016/0304-3975(90)90128-5
author: Martín Abadi
published in: Theoretical Computer Science
publication date: 1990-01-01T00:00:00Z
Mathematics Subject Classification ID: 03B45
Mathematics Subject Classification ID: 03F03
zbMATH DE Number: 4148059
zbMATH Keywords: axiomatic system complete with respect to nonstandard models of FTL
zbMATH Keywords: first order temporal logic
zbMATH Keywords: auxiliary definitions
MaRDI profile type: Publication
full work available at URL: 0304-3975(90)90128-5
OpenAlex ID: W63715920
description: scientific article; zbMATH DE number 4148059