Publikationsansicht

A Calculus for Sequential Logic with 4 Values (2007)

Abstract
this paper we focus on \Sigma 4 (: ; b ;

Details der Publikation
Download http://citeseerx.ist.psu.edu/viewdoc/summary?doi=?doi=10.1.1.45.2751
Quelle ftp://ftp.phil.ruu.nl/pub/logic/PREPRINTS/preprint160.ps.Z
Mitarbeiter CiteSeerX
Archiv CiteSeerX - Scientific Literature Digital Library and Search Engine (United States)
Keywords Contents
Typ text
Sprache Englisch
Verknüpfungen 10.1.1.55.8479, 10.1.1.24.916, 10.1.1.31.5461