UB Paderborn / Katalog / Suche / in CDI

Sortiert nach

Einfacher Volltextzugriff von (fast) überall

Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...

Geometry of Interaction V: Logic in the hyperfinite factor

Theoretical computer science, 2011-04, Vol.412 (20), p.1860-1883

Girard, Jean-Yves

2011

Volltextzugriff (PDF)

Effects of vocal training in a musicophile with congenital amusia

Neurocase, 2016-12, Vol.22 (6), p.526-537

2016

Volltextzugriff (PDF)

Transcendental Syntax iv: Logic Without Systems

Logic, Language, and Security, p.17-36

Volltextzugriff (PDF)

Advances in Linear Logic

1, 1995

Volltextzugriff (PDF)

Transcendental syntax I: deterministic case

Mathematical structures in computer science, 2017-06, Vol.27 (5), p.827-849

GIRARD, JEAN-YVES

2017

Volltextzugriff (PDF)

Substituted coumarins as potent 5-lipoxygenase inhibitors

Bioorganic & medicinal chemistry letters, 2006-05, Vol.16 (9), p.2528-2531

2006

Volltextzugriff (PDF)

Light Linear Logic

Information and computation, 1998-06, Vol.143 (2), p.175-204

Girard, Jean-Yves

1998

Volltextzugriff (PDF)

Interspecies in vitro metabolism of the phosphodiesterase-4 (PDE4) inhibitor L-454,560

Journal of mass spectrometry., 2006-06, Vol.41 (6), p.771-780

2006

Volltextzugriff (PDF)

Typed Lambda Calculi and Applications: 4th International Conference, TLCA'99, l'Aquila, Italy, April 7-9, 1999, Proceedings

Girard, Jean-Yves

1, 1999

Volltextzugriff (PDF)

Geometry of interaction 2: Deadlock-free algorithms

COLOG-88, 2005, p.76-93

2005

Volltextzugriff (PDF)

Truth, modality and intersubjectivity

Mathematical structures in computer science, 2007-12, Vol.17 (6), p.1153-1167

GIRARD, JEAN-YVES

2007

Volltextzugriff (PDF)

Linear logic

Theoretical computer science, 1987, Vol.50 (1), p.1-101

Girard, Jean-Yves

1987

Volltextzugriff (PDF)

Dioxabicyclooctanyl Naphthalenenitriles as Nonredox 5-Lipoxygenase Inhibitors: Structure−Activity Relationship Study Directed toward the Improvement of Metabolic Stability

Journal of medicinal chemistry, 1996-09, Vol.39 (20), p.3951-3970

1996

Volltextzugriff (PDF)

Monte Carlo Valuation of Multidimensional American Options Through Grid Computing

Large-Scale Scientific Computing, 2006, Vol.3743, p.462-469

2006

Volltextzugriff (PDF)

Substituted 4-(2,2-diphenylethyl)pyridine-n-oxides as phosphodiesterase-4 inhibitors: SAR study directed toward the improvement of pharmacokinetic parameters

Bioorganic & medicinal chemistry letters, 2002-10, Vol.12 (20), p.3009-3013

2002

Volltextzugriff (PDF)

Discovery of MK-0952, a selective PDE4 inhibitor for the treatment of long-term memory loss and mild cognitive impairment

Bioorganic & medicinal chemistry letters, 2010-11, Vol.20 (22), p.6387-6393

2010

Volltextzugriff (PDF)

L’impact de l’écoute de musique et de bruit blanc sur les fonctions exécutives chez les étudiants avec et sans TDAH

Girard, Pier-Yves

2022

Volltextzugriff (PDF)

Coherent Banach spaces: a continuous denotational semantics

Theoretical computer science, 1999-09, Vol.227 (1), p.275-297

Girard, Jean-Yves

1999

Volltextzugriff (PDF)

The discovery and synthesis of highly potent subtype selective phosphodiesterase 4D inhibitors

Bioorganic & medicinal chemistry letters, 2010-09, Vol.20 (18), p.5502-5505

2010

Volltextzugriff (PDF)

Regiocontrolled opening of cyclic ethers using dimethylboron bromide

Journal of organic chemistry, 1987-05, Vol.52 (9), p.1680-1686

1987

Volltextzugriff (PDF)

Locus Solum: From the rules of logic to the logic of rules

Mathematical structures in computer science, 2001-06, Vol.11 (3), p.301-506

GIRARD, JEAN-YVES

2001

Volltextzugriff (PDF)

From Foundations to Ludics

The bulletin of symbolic logic, 2003-06, Vol.9 (2), p.131-168

Girard, Jean-Yves

2003

Volltextzugriff (PDF)

Quinolines as potent 5-lipoxygenase inhibitors: Synthesis and biological profile of L-746,530

Bioorganic & medicinal chemistry letters, 1998-05, Vol.8 (10), p.1255-1260

1998

Volltextzugriff (PDF)

Optimization of a Tertiary Alcohol Series of Phosphodiesterase-4 (PDE4) Inhibitors: Structure−Activity Relationship Related to PDE4 Inhibition and Human Ether-a-go-go Related Gene Potassium Channel Binding Affinity

Journal of medicinal chemistry, 2003-06, Vol.46 (12), p.2413-2426

2003

Volltextzugriff (PDF)

Light linear logic

Logic and Computational Complexity, 2005, p.145-176

2005

Volltextzugriff (PDF)

1 – 25 von 723

Suche als RSS-Feed

Suchergebnisse filtern

Filter anzeigen

Nur zeigen

Geprüft (Peer-Review)
(553)
Mit Volltextzugriff
(640)

Publikationsform

5 weitere anzeigen...

Weniger anzeigen...

Sprache

Erscheinungsjahr

n.n

Thema

15 weitere anzeigen...

Weniger anzeigen...

Zeitschrift / Serie

5 weitere anzeigen...

Weniger anzeigen...

Neu hinzugefügt

... seit 30 Tagen
(1)
... seit 90 Tagen
(4)

Menü

Weitere Dienste

Einstellungen

Geometry of Interaction V: Logic in the hyperfinite factor

Effects of vocal training in a musicophile with congenital amusia

Transcendental Syntax iv: Logic Without Systems

Advances in Linear Logic

Transcendental syntax I: deterministic case

Substituted coumarins as potent 5-lipoxygenase inhibitors

Light Linear Logic

Interspecies in vitro metabolism of the phosphodiesterase-4 (PDE4) inhibitor L-454,560

Typed Lambda Calculi and Applications: 4th International Conference, TLCA'99, l'Aquila, Italy, April 7-9, 1999, Proceedings

Geometry of interaction 2: Deadlock-free algorithms

Truth, modality and intersubjectivity

Linear logic

Dioxabicyclooctanyl Naphthalenenitriles as Nonredox 5-Lipoxygenase Inhibitors: Structure−Activity Relationship Study Directed toward the Improvement of Metabolic Stability

Monte Carlo Valuation of Multidimensional American Options Through Grid Computing

Substituted 4-(2,2-diphenylethyl)pyridine-n-oxides as phosphodiesterase-4 inhibitors: SAR study directed toward the improvement of pharmacokinetic parameters

Discovery of MK-0952, a selective PDE4 inhibitor for the treatment of long-term memory loss and mild cognitive impairment

L’impact de l’écoute de musique et de bruit blanc sur les fonctions exécutives chez les étudiants avec et sans TDAH

Coherent Banach spaces: a continuous denotational semantics

The discovery and synthesis of highly potent subtype selective phosphodiesterase 4D inhibitors

Regiocontrolled opening of cyclic ethers using dimethylboron bromide

Locus Solum: From the rules of logic to the logic of rules

From Foundations to Ludics

Quinolines as potent 5-lipoxygenase inhibitors: Synthesis and biological profile of L-746,530

Optimization of a Tertiary Alcohol Series of Phosphodiesterase-4 (PDE4) Inhibitors: Structure−Activity Relationship Related to PDE4 Inhibition and Human Ether-a-go-go Related Gene Potassium Channel Binding Affinity

Light linear logic

Suchergebnisse filtern