@techreport{2014-Hansen-CompletenessStrong, author = "{Hansen}, H.H. and {Kupke}, C. and {Leal}, R.A.", title = "{Strong Completeness for Iteration--Free Coalgebraic Dynamic Logics}", number = "ICIS--R14001", month = "August", institution = "Radboud University Nijmegen", year = "2014", research_group = "is", class = "Report" } @techreport{2013-Joosten-Relaxation3partition, author = "{Joosten}, Sebastiaan J.C. and {Zantema}, Hans", title = "{Relaxation of 3--partition instances}", number = "ICIS--R13002", month = "February", institution = "Radboud University Nijmegen", year = "2013", research_group = "is", class = "Report" } @techreport{2013-Bonsangue-DistributivePresenting, author = "{Bonsangue}, M.M. and {Hansen}, H.H. and {Kurz}, A. and {Rot}, J.", title = "{Presenting Distributive Laws}", number = "ICIS--R13007", month = "June", institution = "Radboud University Nijmegen", year = "2013", research_group = "is", class = "Report" } @techreport{2009-Niqui-CompetitionFriendly, author = "{Niqui}, Milad and {Wiedijk}, Freek", title = "{`Many Digits` Friendly Competition}", number = "ICIS--R09007", month = "December", institution = "Radboud University Nijmegen", year = "2009", code = "icis.ICIS-R09007", research_group = "is", class = "Report" } @techreport{2009-Mamane-SaturatedLbmmt, author = "{Mamane}, Lionel Elie and {Geuvers}, Herman and {McKinna}, James", title = "{A Saturated Extension of Lambda--Bar--Mu--Mu--Tilde}", number = "ICIS--R09002", month = "July", institution = "Radboud University Nijmegen", year = "2009", code = "icis.ICIS-R09002", research_group = "is", url = "http://www.mamane.lu/science/lbmmt_extension/", class = "Report" } @techreport{2008-Kaliszyk-ProofWeb, author = "{Kaliszyk}, Cezary and {Raamsdonk}, Femke van and {Wiedijk}, Freek and {Wupper}, Hanno and {Hendriks}, Maxim and {Vrijer}, Roel de", title = "{Deduction using the ProofWeb system}", number = "ICIS--R08016", month = "September", institution = "Radboud University Nijmegen", year = "2008", research_group = "is", class = "Report" } @techreport{2008-Heskes-ConditionsStability, author = "{Heskes}, T. and {Gerven}, M.A.J. van", title = "{Stability Conditions for L1/Lp Regularization}", number = "ICIS--R08002", month = "February", institution = "Radboud University Nijmegen", year = "2008", research_group = "is", class = "Report" } @techreport{2008-Gerven-RegularizationDifferences, author = "{Gerven}, M.A.J. van and {Heskes}, T.", title = "{L1/Lp regularization of Differences}", number = "ICIS--R08009", month = "May", institution = "Radboud University Nijmegen", year = "2008", research_group = "is", class = "Report" }