Computer Science – Logic in Computer Science
Scientist
Computer Science
Logic in Computer Science
Scientist
A Generic Basis Theorem for Cancellation Meadows
A process calculus with finitary comprehended terms
A progression ring for interfaces of instruction sequences, threads, and services
A protocol for instruction stream processing
A thread calculus with molecular dynamics
No associations
LandOfFree
Jan Aldert Bergstra does not yet have a rating. At this time, there are no reviews or comments for this scientist.
If you have personal experience with Jan Aldert Bergstra, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Jan Aldert Bergstra will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-P-2439