Second Order

Etudes supérieures

Some Observations on the Proof Theory of Second Order Propositional Multiplicative Linear Logic

Second Order

Education

A Traffic Flow Model with Constraints for the Modeling of Traffic Jams

Second Order

Education

A 2–PHASE TRAFFIC MODEL BASED ON A SPEED BOUND RINALDO M COLOMBO FRANCESCA MARCELLINI† AND MICHEL RASCLE‡

Second Order