[BLZ1995] Incompleteness of a First-Order Gödel Logic and Some Temporal Logics of Programs

Tree

Index

Bibliography

[BLZ1995] Incompleteness of a First-Order Gödel Logic and Some Temporal Logics of Programs

BaazLeitZach95TR (Technical report)
Author(s)	Baaz M., Leitsch A. and Zach R.
Title	"Incompleteness of a First-Order Gödel Logic and Some Temporal Logics of Programs"
Date	1995
Institution	Technische Universität Wien, Institut für Computersprachen E185.2
Number	TUW-E185.2-BLZ.1-95
Note	Submitted to the Proc. of CSL'95

BibTeX code

@techreport{BaazLeitZach95TR,
  title = {Incompleteness of a First-Order {G\"odel} Logic and Some Temporal Logics of Programs},
  author = {Baaz, M. and Leitsch, A. and Zach, R.},
  year = {1995},
  note = {Submitted to the Proc.\ of CSL'95},
  number = {TUW-E185.2-BLZ.1-95},
  institution = {Technische Universit\"at Wien, Institut f\"ur Computersprachen E185.2},
}

Overview

Tree

Index

Bibliography

FRAMES NO FRAME

Submit a bug