The following pages link to Jan Willem Klop (Q549184):
Displayed 50 items.
- (Q3674616) (← links)
- (Q3702500) (← links)
- (Q3727367) (← links)
- Process algebra for synchronous communication (Q3731022) (← links)
- (Q3742698) (← links)
- (Q3751587) (← links)
- (Q3774929) (← links)
- (Q3792231) (← links)
- (Q3805891) (← links)
- (Q3806800) (← links)
- (Q3817590) (← links)
- Readies and Failures in the Algebra of Communicating Processes (Q3833645) (← links)
- (Q3914409) (← links)
- (Q3918095) (← links)
- (Q3919061) (← links)
- (Q3919062) (← links)
- (Q3919067) (← links)
- (Q3929011) (← links)
- (Q3935453) (← links)
- (Q3939205) (← links)
- (Q3939218) (← links)
- (Q3951525) (← links)
- (Q4029584) (← links)
- (Q4038704) (← links)
- (Q4100065) (← links)
- (Q4182476) (← links)
- Degrees of sensible lambda theories (Q4194931) (← links)
- (Q4222908) (← links)
- Termination for direct sums of left-linear complete term rewriting systems (Q4369898) (← links)
- (Q4490748) (← links)
- A geometric proof of confluence by decreasing diagrams (Q4500178) (← links)
- (Q4584897) (← links)
- (Q4584900) (← links)
- Term graph rewriting (Q4645801) (← links)
- Collapsing partial combinatory algebras (Q4645804) (← links)
- Degrees of Infinite Words, Polynomials and Atoms (Q4683233) (← links)
- Extending partial combinatory algebras (Q4704765) (← links)
- (Q4727412) (← links)
- (Q4733426) (← links)
- (Q4834480) (← links)
- (Q4865611) (← links)
- (Q4865612) (← links)
- (Q4890709) (← links)
- Decreasing diagrams with two labels are complete for confluence of countable systems (Q4993340) (← links)
- (Q5009706) (← links)
- Termination for the direct sum of left-linear term rewriting systems (Q5055740) (← links)
- Transfinite reductions in orthogonal term rewriting systems (Q5055744) (← links)
- Open problems in rewriting (Q5055780) (← links)
- More problems in rewriting (Q5055812) (← links)
- Infinitary lambda calculi and böhm models (Q5055835) (← links)