deutsch
english
Publikationsansicht
42969018
A Calculus for Sequential Logic with 4 Values (2007)
Jan A. Bergstra
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