Strategies for interconnection networks: Some methods from graph theory
- 作者J.-C. Bermond; C. Delorme; J.-J. Quisquater
- 卷第3卷
- 期第4期
- 印刷ISSN0743-7315
- 电子ISSN1096-0848
- 文件大小909.11KB
- 发表时间1986
- DOI10.1016/0743-7315(86)90008-0
- 页码433-449
Logic program synthesis from first-order logic specificationsTadashi Kawamura · 1994
[Lecture Notes in Computer Science] Program Development in Computational Logic Volume 3049 || Synthesis of Programs in Computational LogicBruynooghe, Maurice; Lau, Kung-Kiu · 2004
[Lecture Notes in Computer Science] Logic Program Synthesis and Transformation — Meta-Programming in Logic Volume 883 || Introspective metatheoretic reasoningFribourg, Laurent; Turini, Franco · 1994
Lectures on the Logic of Computer Programming || 5. Synthesis of ProgramsManna, Zohar · 1980
[Lecture Notes in Computer Science] Logic Based Program Synthesis and Transformation Volume 3573 || Searching Semantically Equivalent Code Fragments in Logic ProgramsEtalle, Sandro · 2005
[Lecture Notes in Computer Science] Logic Based Program Synthesis and Transformation Volume 3573 || Run-Time Profiling of Functional Logic ProgramsEtalle, Sandro · 2005
Synthesis design logic and the SYNGEN (synthesis generation) programHendrickson, J. B.; Toczko, A. G. · Pure and Applied Chemistry · 1988