The following pages link to P. H. Rodenburg (Q803266):
Displaying 17 items.
- (Q548701) (redirect page) (← links)
- Typability in partial applicative structures (Q548702) (← links)
- The free process algebra generated by \(\delta \), \(\epsilon\) and \(\tau \) (Q549205) (← links)
- Manufacturing a Cartesian closed category with exactly two objects out of a C-monoid (Q803268) (← links)
- Characterization of the algebraic closure systems that can be represented by \(S^+\) (Q1146701) (← links)
- A simple algebraic proof of the equational interpolation theorem (Q1173754) (← links)
- Algebraic specifiability of data types with minimal computable parameters (Q1183572) (← links)
- Remarks on Thatte's transformation of term rewriting systems (Q1763376) (← links)
- The structure of finite meadows (Q2258845) (← links)
- Piecewise initial algebra semantics (Q2461761) (← links)
- (Q3982061) (← links)
- Termination and confluence in infinitary term rewriting (Q4254682) (← links)
- (Q4443015) (← links)
- The Expressive Force of Some Fragments of Intuitionistic Propositional Logic with Regard to Kripke Frames (Q4711191) (← links)
- (Q4864464) (← links)
- A propositional logic with 4 values: true, false, divergent and meaningless (Q4868228) (← links)
- The initial meadows (Q4931095) (← links)
