CLIP 发表于 2025-3-21 19:28:39

书目名称Recent Trends in Data Type Specification影响因子(影响力)<br>        http://impactfactor.cn/if/?ISSN=BK0823426<br><br>        <br><br>书目名称Recent Trends in Data Type Specification影响因子(影响力)学科排名<br>        http://impactfactor.cn/ifr/?ISSN=BK0823426<br><br>        <br><br>书目名称Recent Trends in Data Type Specification网络公开度<br>        http://impactfactor.cn/at/?ISSN=BK0823426<br><br>        <br><br>书目名称Recent Trends in Data Type Specification网络公开度学科排名<br>        http://impactfactor.cn/atr/?ISSN=BK0823426<br><br>        <br><br>书目名称Recent Trends in Data Type Specification被引频次<br>        http://impactfactor.cn/tc/?ISSN=BK0823426<br><br>        <br><br>书目名称Recent Trends in Data Type Specification被引频次学科排名<br>        http://impactfactor.cn/tcr/?ISSN=BK0823426<br><br>        <br><br>书目名称Recent Trends in Data Type Specification年度引用<br>        http://impactfactor.cn/ii/?ISSN=BK0823426<br><br>        <br><br>书目名称Recent Trends in Data Type Specification年度引用学科排名<br>        http://impactfactor.cn/iir/?ISSN=BK0823426<br><br>        <br><br>书目名称Recent Trends in Data Type Specification读者反馈<br>        http://impactfactor.cn/5y/?ISSN=BK0823426<br><br>        <br><br>书目名称Recent Trends in Data Type Specification读者反馈学科排名<br>        http://impactfactor.cn/5yr/?ISSN=BK0823426<br><br>        <br><br>

闷热 发表于 2025-3-22 00:04:48

https://doi.org/10.1007/3-540-54496-8Algebraic High-Level Nets; Algebraische Netze; Compiler; Data Types; Datentypen; Inductive Completition; I

按时间顺序 发表于 2025-3-22 00:36:27

http://reply.papertrans.cn/83/8235/823426/823426_3.png

conjunctiva 发表于 2025-3-22 05:53:02

http://reply.papertrans.cn/83/8235/823426/823426_4.png

majestic 发表于 2025-3-22 10:30:05

http://reply.papertrans.cn/83/8235/823426/823426_5.png

拥护 发表于 2025-3-22 14:32:42

ADT implementation and completion by induction from examples,There exists a fast algorithm for inductive synthesis of terminating and ground confluent term rewriting systems from samples. The principles of this algorithm and the methodology of its use for implementation and completion of abstract data types are described.

蔓藤图饰 发表于 2025-3-22 17:46:21

http://reply.papertrans.cn/83/8235/823426/823426_7.png

chuckle 发表于 2025-3-23 00:14:17

http://reply.papertrans.cn/83/8235/823426/823426_8.png

Odyssey 发表于 2025-3-23 03:42:22

http://reply.papertrans.cn/83/8235/823426/823426_9.png

lymphedema 发表于 2025-3-23 09:21:52

http://reply.papertrans.cn/83/8235/823426/823426_10.png
页: [1] 2 3 4 5 6
查看完整版本: Titlebook: Recent Trends in Data Type Specification; 7th Workshop on Spec H. Ehrig,K. P. Jantke,H. Reichel Conference proceedings 1991 Springer-Verlag