The following pages link to J. A. Bergstra (Q190306):
Displaying 50 items.
- (Q3217583) (← links)
- (Q3327706) (← links)
- (Q3330491) (← links)
- (Q3340122) (← links)
- (Q3341873) (← links)
- Transmission Protocols for Instruction Streams (Q3393403) (← links)
- Instruction Sequences with Dynamically Instantiated Instructions (Q3400528) (← links)
- Evaluation Trees for Proposition Algebra (Q3449625) (← links)
- Module algebra (Q3474270) (← links)
- (Q3490964) (← links)
- The rational numbers as an abstract data type (Q3546326) (← links)
- On the operating unit size of load/store architectures (Q3564342) (← links)
- (Q3657410) (← links)
- The completeness of the algebraic specification methods for computable data types (Q3659115) (← links)
- Initial and Final Algebra Semantics for Data Type Specifications: Two Characterization Theorems (Q3662597) (← links)
- (Q3664413) (← links)
- (Q3666247) (← links)
- (Q3674616) (← links)
- (Q3678664) (← links)
- (Q3702500) (← links)
- (Q3727367) (← links)
- Process algebra for synchronous communication (Q3731022) (← links)
- (Q3742698) (← links)
- Ready-Trace Semantics for Concrete Process Algebra with the Priority Operator (Q3763573) (← links)
- (Q3774929) (← links)
- (Q3776607) (← links)
- (Q3792231) (← links)
- (Q3805891) (← links)
- Readies and Failures in the Algebra of Communicating Processes (Q3833645) (← links)
- (Q3851588) (← links)
- (Q3851592) (← links)
- (Q3853107) (← links)
- (Q3854600) (← links)
- (Q3854601) (← links)
- Effective Transformations on Probabilistic Data (Q3858252) (← links)
- (Q3860822) (← links)
- (Q3868737) (← links)
- (Q3878740) (← links)
- (Q3878741) (← links)
- (Q3881903) (← links)
- (Q3883473) (← links)
- (Q3893286) (← links)
- (Q3893287) (← links)
- (Q3896478) (← links)
- (Q3904041) (← links)
- (Q3904042) (← links)
- (Q3906395) (← links)
- (Q3912001) (← links)
- (Q3917477) (← links)
- (Q3919061) (← links)
