共 50 条
- [31] Extended abstract dependency graphs International Journal on Software Tools for Technology Transfer, 2022, 24 : 49 - 65
- [32] Rational Consensus: Extended Abstract PROCEEDINGS OF THE 2016 ACM SYMPOSIUM ON PRINCIPLES OF DISTRIBUTED COMPUTING (PODC'16), 2016, : 137 - 146
- [33] A science of reasoning (extended abstract) AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, 1998, 1397 : 10 - 17
- [34] Safer in the Clouds (Extended Abstract) ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2010, (38): : 45 - 49
- [35] Subresultants revisited -: Extended abstract LATIN 2000: THEORETICAL INFORMATICS, 2000, 1776 : 318 - 342
- [37] Distributed prograph: Extended abstract PARALLEL SYMBOLIC LANGUAGES AND SYSTEMS, 1996, 1068 : 128 - 133
- [38] Extended Abstract: Transplant in MDS CLINICAL LYMPHOMA MYELOMA & LEUKEMIA, 2022, 22 : S53 - S54
- [39] Dialgebraic logics: Extended abstract Electronic Notes in Theoretical Computer Science, 1998, 11 : 243 - 251
- [40] Network Cloudification (Extended Abstract) CYBER SECURITY CRYPTOGRAPHY AND MACHINE LEARNING, CSCML 2019, 2019, 11527 : 249 - 259