Pierre Jumpertz

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

1994

1 Pierre Jumpertz: Linear Logic and Real Closed Fields: a Way to Handle Situations Dynamically. AISMC 1994: 93-114