Results 1 - 14 of 14 Page 1
History of Equivalences, congruences, and complete axiomatizations for probabilistic processes — revisions from 1.1 to 14.1
From To Version Editor Date Summary
14.1 Andrea Omicini 16/10/2021 18:25
13.1 Andrea Omicini 13/10/2021 03:28
12.1 Andrea Omicini 13/10/2021 03:28
11.1 Andrea Omicini 13/10/2021 03:27 Document converted from syntax xwiki/1.0 to syntax xwiki/2.1
10.1 Stefano Mariani 03/10/2021 18:08 Migrated property [subtitle] from class [Publications.PublicationClass]
9.1 Stefano Mariani 01/10/2021 11:08 Migrated property [sort] from class [Publications.PublicationClass]
8.1 Stefano Mariani 29/09/2021 14:57 Migrated property [prova] from class [Publications.PublicationClass]
7.2 Stefano Mariani 10/08/2021 23:37 Updated class property name
6.1 Stefano Mariani 10/08/2021 23:20 Migrated property [APICETalk] from class [Publications.PublicationClass]
5.2 Stefano Mariani 01/05/2021 18:50 Updated class property name
4.1 Stefano Mariani 01/05/2021 18:35 Migrated property [SemanticScholarCorpusId] from class [Publications.PublicationClass]
3.1 Stefano Mariani 16/04/2021 11:14 Migrated property [ieeeId] from class [Publications.PublicationClass]
2.1 Stefano Mariani 12/10/2020 19:20 Imported from XAR
1.1 Stefano Mariani 12/10/2020 17:49 Imported from XAR
Page 1
Partita IVA: 01131710376 - Copyright © 2008-2021 APICe@DISI Research Group - PRIVACY