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

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

PreviewAuthor(s)TitleTypeIssue Date
1ABBOTT, ALASTAIR A. ; CALUDE, CRISTIAN S. ; SVOZIL, KARL A quantum random number generator certified by value indefinitenessArtikel Article2014
2ASCHIERI, FEDERICO Constructive forcing, CPS translations and witness extraction in Interactive realizabilityArtikel Article 2017
3ASCHIERI, FEDERICO Constructive Forcing, CPS Translations and Witness Extraction in Interactive RealizabilityArtikel Article2015
4Aschieri, Federico ; Hetzl, Stefan ; Weller, Daniel Expansion trees with cutArtikel Article 8-Oct-2019
5Fokina, Ekaterina PrefaceArtikel Article 2018
6CIABATTONI, AGATA ; LEITSCH, ALEXANDER Towards an algorithmic construction of cut-elimination proceduresArtikel Article2008