Author pages are created from data sourced from our academic publisher partnerships and public sources.
Nominal Techniques in Isabelle/HOL
In this paper we define an inductive set that is bijective with the α-equated lambda-terms. Expand
We present a generalisation of first-order unification to the practically important case of equations between terms involving binding operations. Expand
General Bindings and Alpha-Equivalence in Nominal Isabelle
We present an extension of Nominal Isabelle for dealing with general bindings, that means term constructors where multiple variables are bound at once. Expand
Nominal logic programming
Nominal logic is an extension of first-order logic which provides a simple foundation for formalizing and reasoning about abstract syntax modulo consistent renaming of bound names (that is, α-equivalence). Expand
alpha-Prolog: A Logic Programming Language with Names, Binding and a-Equivalence
This paper presents αProlog, a logic programming language that uses this approach, along with several illustrative example programs and an operational semantics. Expand
Barendregt's Variable Convention in Rule Inductions
We identify conditions an inductive definition has to satisfy so that a form of the variable convention can be built into the rule induction principle. Expand
Multi-level proteomics reveals host-perturbation strategies of SARS-CoV-2 and SARS-CoV
The sudden global emergence of SARS-CoV-2 urgently requires an in-depth understanding of molecular functions of viral proteins and their interactions with the host proteome. Several omics studies… Expand
Role of radiotherapy in supratentorial primitive neuroectodermal tumor in young children: results of the German HIT-SKK87 and HIT-SKK92 trials.
- B. Timmermann, R. Kortmann, +7 authors M. Bamberg
- Journal of clinical oncology : official journal…
- 1 April 2006
PURPOSE To assess the outcome of young children with supratentorial primitive neuroectodermal tumor (stPNET) treated by intensive postoperative chemotherapy alone compared with treatment with… Expand
Long-term outcome and clinical prognostic factors in children with medulloblastoma treated in the prospective randomised multicentre trial HIT'91.
PURPOSE To analyse long-term outcome and clinical prognostic factors in medulloblastoma. METHODS We analysed 280 patients with medulloblastoma (3-18 years) included from 1991 to 1997 in the… Expand