The following pages link to Paul Ruet (Q512528):
Displayed 22 items.
- Negative local feedbacks in Boolean networks (Q512529) (← links)
- Combining explicit negation and negation by failure via Belnap's logic (Q673380) (← links)
- Graphic requirements for multistability and attractive cycles in a Boolean dynamical framework (Q950410) (← links)
- Non-commutative logic. III: Focusing proofs. (Q1427855) (← links)
- Linear concurrent constraint programming: Operational and phase semantics (Q1854410) (← links)
- From kernels in directed graphs to fixed points and negative cycles in Boolean networks (Q1949117) (← links)
- Non-commutative logic. I: The multiplicative fragment (Q1964014) (← links)
- Asynchronous Boolean networks and hereditarily bijective maps (Q2003487) (← links)
- Non-commutative proof construction: a constraint-based approach (Q2503402) (← links)
- Spatial Differentiation and Positive Circuits in a Discrete Framework (Q2864505) (← links)
- (Q3437531) (← links)
- On Differentiation and Homeostatic Behaviours of Boolean Dynamical Systems (Q3503929) (← links)
- (Q4218945) (← links)
- (Q4375591) (← links)
- Non-commutative logic II: sequent calculus and phase semantics (Q4487273) (← links)
- (Q4790674) (← links)
- Computer Science Logic (Q5394577) (← links)
- Cyclic Extensions of Order Varieties (Q5415613) (← links)
- Applications and Theory of Petri Nets 2004 (Q5712364) (← links)
- Local cycles and dynamical properties of Boolean networks (Q5741576) (← links)
- From multivalued to Boolean functions: preservation of soft nested canalization (Q6199401) (← links)
- Average sensitivity of nested canalizing multivalued functions (Q6199822) (← links)