Hubert Krivine

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2007

1 Hubert Krivine, Annick Lesne, Jacques Treiner: Discrete-time and continuous-time modelling: some bridges and gaps. Mathematical Structures in Computer Science 17(2): 261-276 (2007)

	2007
1		Hubert Krivine, Annick Lesne, Jacques Treiner: Discrete-time and continuous-time modelling: some bridges and gaps. Mathematical Structures in Computer Science 17(2): 261-276 (2007)

Coauthor Index