The following pages link to J. A. Bergstra (Q190306):
Displaying 50 items.
- (Q3919062) (← links)
- (Q3919067) (← links)
- Small specifications for large finite data structures (Q3922143) (← links)
- (Q3929011) (← links)
- (Q3935453) (← links)
- (Q3938490) (← links)
- (Q3939218) (← links)
- (Q3948575) (← links)
- (Q3948578) (← links)
- (Q3951524) (← links)
- (Q3951525) (← links)
- (Q3960142) (← links)
- UNIFORM ALGEBRAIC SPECIFICATIONS OF FINITE SETS WITH EQUALITY (Q3988833) (← links)
- (Q4029584) (← links)
- (Q4138116) (← links)
- (Q4164793) (← links)
- (Q4182476) (← links)
- Recursion theory on processes (Q4189267) (← links)
- Degrees of sensible lambda theories (Q4194931) (← links)
- (Q4223007) (← links)
- (Q4284236) (← links)
- Equational specifications, complete term rewriting systems, and computable and semicomputable algebras (Q4369896) (← links)
- Network algebra for asynchronous dataflow<sup>∗</sup> (Q4375420) (← links)
- Process algebra with four-valued logic (Q4443411) (← links)
- (Q4449159) (← links)
- (Q4503951) (← links)
- (Q4518413) (← links)
- (Q4525274) (← links)
- (Q4550552) (← links)
- (Q4584897) (← links)
- Note on paraconsistency and reasoning about fractions (Q4586140) (← links)
- Instruction Sequence Size Complexity of Parity (Q4589250) (← links)
- Contradiction-Tolerant Process Algebra with Propositional Signals (Q4599814) (← links)
- (Q4621131) (← links)
- (Q4621136) (← links)
- (Q4621154) (← links)
- Indirect Jumps Improve Instruction Sequence Performance (Q4621162) (← links)
- Timed Tuplix Calculus and the Wesseling and van den Bergh Equation (Q4621171) (← links)
- Instruction Sequence Based Non-uniform Complexity Classes (Q4621176) (← links)
- Probabilistic Thread Algebra (Q4621195) (← links)
- On Instruction Sets for Boolean Registers in Program Algebra (Q4621199) (← links)
- A Hoare-Like Logic of Asserted Single-Pass Instruction Sequences (Q4621203) (← links)
- Subvarieties of the Variety of Meadows (Q4621209) (← links)
- Axioms for Behavioural Congruence of Single-Pass Instruction Sequences (Q4621212) (← links)
- Instruction Sequences Expressing Multiplication Algorithms (Q4621216) (← links)
- (Q4727412) (← links)
- (Q4733426) (← links)
- (Q4739904) (← links)
- Another incompleteness result for Hoare's logic (Q4741694) (← links)
- (Q4741695) (← links)