Annals of Pure and Applied Logic

Title Titel
Annals of Pure and Applied Logic
 
e-ISSN
1873-2461
 
ISSN
0168-0072
 
Publisher Herausgeber
ELSEVIER
 

Publications

Results 1-1 of 1 (Search time: 0.003 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Hetzl - 2011 - CERES in higher-order logic.pdf.jpgHetzl, Stefan ; Leitsch, Alexander ; Weller, Daniel CERES in higher-order logicArticle Artikel 2011