Publikationsansicht

Frame-Based Process Logics (1995)

Abstract

This paper will be published in: Modal Logic and Process algebra, Alban Ponse, Yde Venema and Maarten de Rijke (eds.), CSLI publications, to appear.

Details der Publikation

Download	http://citeseerx.ist.psu.edu/viewdoc/summary?doi=?doi=10.1.1.38.6040
Quelle	ftp://ftp.fwi.uva.nl/pub/programming-research/reports/1995/P9503.ps.Z
Mitarbeiter	CiteSeerX
Archiv	CiteSeerX - Scientific Literature Digital Library and Search Engine (United States)
Typ	text
Sprache	Englisch
Verknüpfungen	10.1.1.12.8714, 10.1.1.37.8605, 10.1.1.38.7614, 10.1.1.41.2782, 10.1.1.26.3177, 10.1.1.35.5292