Gentzen-systems for propositional temporal logics

Saved in:

Bibliographic Details
Main Author:	Paech, Barbara (Author)
Format:	Book/Monograph
Language:	English
Published:	München Ludwigs-Maximilians-Universität München, Institut für Informatik 1988
Series:	Bericht / Ludwig-Maximilians-Universität München, Institut für Informatik 8801
In:	Bericht (8801)
Online Access:
Author Notes:	Barbara Paech

Description
Description not available.

Similar Items