Mathematical Structures in Computer Science

Title Titel
Mathematical Structures in Computer Science
 
e-ISSN
1469-8072
 
ISSN
0960-1295
 
Publisher Herausgeber
CAMBRIDGE UNIV PRESS
 
Publisher's Address Herausgeber Adresse
32 AVENUE OF THE AMERICAS, NEW YORK, USA, NY, 10013-2473
 
Listed in SCI Aufgelistet im SCI
 
Peer reviewed Begutachtet
 
 

Publications Publikationen

Results 1-3 of 3 (Search time: 0.002 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1ASCHIERI, FEDERICO Constructive forcing, CPS translations and witness extraction in Interactive realizabilityArtikel Article2017
2Aschieri, Federico ; Weller, Daniel Expansion trees with cutArtikel Article2019
3Fokina, Ekaterina PrefaceArtikel Article2018