[BZ1993b] First-order Temporal Logic with Time-Gaps: Complete Sequent Calculus and Resolution System. Revised Version

Tree

Index

Bibliography

[BZ1993b] First-order Temporal Logic with Time-Gaps: Complete Sequent Calculus and Resolution System. Revised Version

BaazZach93TR (Technical report)
Author(s)	Baaz M. and Zach R.
Title	"First-order Temporal Logic with Time-Gaps: Complete Sequent Calculus and Resolution System. Revised Version"
Date	1993
Institution	Technische Universität Wien, Institut für Computersprachen E185.2
Number	TUW-E185.2-BZ.1-93R

BibTeX code

@techreport{BaazZach93TR,
  title = {First-order Temporal Logic with Time-Gaps: Complete Sequent Calculus and Resolution System. Revised Version},
  author = {Baaz, M. and Zach, R.},
  year = {1993},
  number = {TUW-E185.2-BZ.1-93R},
  institution = {Technische Universit\"at Wien, Institut f\"ur Computersprachen E185.2},
}

Overview

Tree

Index

Bibliography

FRAMES NO FRAME

Submit a bug