Nominal (Universal) Algebra: Equational Logic with Names and Binding von Gabbay, Murdoch J., Mathijssen, Aad

Volltext

A Nominal Axiomatization of the Lambda Calculus von Gabbay, M. J., Mathijssen, A.

Volltext

Capture-avoiding substitution as a nominal algebra von Gabbay, Murdoch J., Mathijssen, Aad

Volltext

One-and-a-halfth-order Logic von Gabbay, Murdoch J., Mathijssen, Aad

Volltext

Capture-avoiding substitution as a nominal algebra: Extended versions of selected contributions from the International Colloquium on Theoretical Aspects of Computing (ICTAC), Novem... von GABBAY, Murdoch J, MATHIJSSEN, Aad

Volltext

Capture-Avoiding Substitution as a Nominal Algebra von Gabbay, Murdoch J., Mathijssen, Aad

Volltext

A Formal Calculus for Informal Equality with Binding von Gabbay, Murdoch J., Mathijssen, Aad

Volltext

Verified Design of an Automated Parking Garage von Brim, Lubos

Volltext

From μCRL to mCRL2 von Groote, Jan Friso, Mathijssen, Aad, van Weerdenburg, Muck, Usenko, Yaroslav

Volltext

Behavioural Analysis of an I2C Linux Driver von Bošnački, Dragan, Mathijssen, Aad, Usenko, Yaroslav S.

Volltext

Theœ formal specification language mCRL2

Volltext bestellen

Dextromethorphan As a Phenotyping Test to Predict Endoxifen Exposure in Patients on Tamoxifen Treatment von DE GRAAN, Anne-Joy M, TEUNISSEN, Sebastiaan F, SEYNAEVE, Caroline, BEIJNEN, Jos H, MATHIJSSEN, Ron H. J, DE VOS, Filip Y. F. L, LOOS, Walter J, VAN SCHAIK, Ron H. N, DE JONGH, Felix E, DE VOS, Aad I, VAN ALPHEN, Robbert J, VAN DER HOLT, Bronno, VERWEIJ, Jaap

Volltext

Feasibility of Extrapolating Randomly Taken Plasma Samples to Trough Levels for Therapeutic Drug Monitoring Purposes of Small Molecule Kinase Inhibitors von van Eerden, Ruben A. G., Oomen-de Hoop, Esther, Noordam, Aad, Mathijssen, Ron H. J., Koolen, Stijn L. W.

Volltext

Sorafenib Induced Thyroiditis in Two Patients with Hepatocellular Carcinoma von van Doorn, Leni, Eskens, Ferry A.L.M., Visser, Theo J., van der Lugt, Aad, Mathijssen, Ron H.J., Peeters, Robin P.

Volltext