Computer Science – Logic in Computer Science
Scientist
Computer Science
Logic in Computer Science
Scientist
DFKI
Lick / UCSC
UCO / Lick
UCO / Lick Obs.
UCO / Lick Observatory
UCO / Lick Observatory, USA
A Coinductive Calculus for Asynchronous Side-effecting Processes
Bootstrapping Inductive and Coinductive Types in HasCASL
Colors and Metallicities of M31 Globular Clusters
Flat coalgebraic fixed point logics
Generic Modal Cut Elimination Applied to Conditional Logics
No associations
LandOfFree
Linda L. Schröder does not yet have a rating. At this time, there are no reviews or comments for this scientist.
If you have personal experience with Linda L. Schröder, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Linda L. Schröder will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-P-22008