Harmony: The art of reconciliation (Invited talk)

被引：0
|
作者：
Pierce, BC [1 ]
机构：
[1] Univ Penn, Philadelphia, PA 19104 USA
来源：
TRUSTWORTHY GLOBAL COMPUTING | 2005年 / 3705卷
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
引用
收藏
页码：1 / 1
页数：1
相关论文
共 50 条
  • [21] Science and art in harmony
    不详
    GREEN CHEMISTRY, 2007, 9 (10) : T77 - T77
  • [22] 'THE ART OF RECONCILIATION - ART, ABORIGINALITY AND THE STATE'
    NICOLL, F
    MEANJIN, 1993, 52 (04): : 705 - 718
  • [23] Invited Talk: Resilient Distributed Algorithms
    Parter, Merav
    SOFSEM 2021: THEORY AND PRACTICE OF COMPUTER SCIENCE, 2021, 12607 : 28 - 42
  • [24] Locality of queries and transformations (Invited talk)
    Arenas, Marcelo
    Fourth IFIP International Conference on Theoretical Computer Science - TCS 2006, 2006, 209 : 3 - 3
  • [25] Are Cells Asynchronous Circuits? (Invited Talk)
    Dill, David L.
    VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, 2011, 6538 : 1 - 1
  • [26] Complexity of Propositional Proofs (Invited Talk)
    Razborov, Alexander
    COMPUTER SCIENCE - THEORY AND APPLICATIONS, 2010, 6072 : 340 - 342
  • [27] The ideal of verified software (Invited talk)
    Hoare, Tony
    COMPUTER AIDED VERIFICATION, PROCEEDINGS, 2006, 4144 : 5 - 16
  • [28] 10 Years of Dart (Invited Talk)
    Egorov, Vyacheslav
    PROCEEDINGS OF THE 12TH ACM SIGPLAN INTERNATIONAL WORKSHOP ON VIRTUAL MACHINES AND INTERMEDIATE LANGUAGES, VMIL 2020, 2020, : 4 - 4
  • [29] RDF as a data model (Invited talk)
    Gutierrez, Claudio
    Fourth IFIP International Conference on Theoretical Computer Science - TCS 2006, 2006, 209 : 7 - 7
  • [30] On a method of global optimization - Invited talk
    Wu, WT
    PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS, 2003, 2895 : 1 - 1
12345