Mathematical Structures in Computer Science

View Statistics Email Alert RSS Feed

Journal description

Title Titel
Mathematical Structures in Computer Science
 
e-ISSN
1469-8072
 
ISSN
0960-1295
 
Publisher Herausgeber
CAMBRIDGE UNIV PRESS
 
Publisher's Address Herausgeber Adresse
EDINBURGH BLDG, SHAFTESBURY RD, CAMBRIDGE, ENGLAND, CB2 8RU
 
Listed in SCI Aufgelistet im SCI
 
Peer reviewed Begutachtet
 
 

Publications Publikationen


Filter:
Subject:  Mathematics (miscellaneous)
Author:  Aschieri, Federico

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

PreviewAuthor(s)TitleTypeIssue Date
1ASCHIERI, FEDERICO Constructive forcing, CPS translations and witness extraction in Interactive realizabilityArtikel Article 2017
2ASCHIERI, FEDERICO Constructive Forcing, CPS Translations and Witness Extraction in Interactive RealizabilityArtikel Article2015
3Aschieri, Federico ; Hetzl, Stefan ; Weller, Daniel Expansion trees with cutArtikel Article 8-Oct-2019