Titlebook: Algebraic and Logic Programming; Second International Hélène Kirchner,Wolfgang Wechler Conference proceedings 1990 Springer-Verlag Berlin H

melancholy

书目名称Algebraic and Logic Programming影响因子(影响力)




书目名称Algebraic and Logic Programming影响因子(影响力)学科排名




书目名称Algebraic and Logic Programming网络公开度




书目名称Algebraic and Logic Programming网络公开度学科排名




书目名称Algebraic and Logic Programming被引频次




书目名称Algebraic and Logic Programming被引频次学科排名




书目名称Algebraic and Logic Programming年度引用




书目名称Algebraic and Logic Programming年度引用学科排名




书目名称Algebraic and Logic Programming读者反馈




书目名称Algebraic and Logic Programming读者反馈学科排名

复习

Proving and rewriting,n results include an extension of many-sorted equational logic to universal quantification over functions, some techniques for handling first order logic, and some structural induction principles. The OBJ language is used for illustration, and initiality is a recurrent theme.

CAND

Algebraic and Logic Programming978-3-540-46738-0Series ISSN 0302-9743 Series E-ISSN 1611-3349

Obligatory

0302-9743 Overview: 978-3-540-53162-3978-3-540-46738-0Series ISSN 0302-9743 Series E-ISSN 1611-3349

Fecal-Impaction

压倒性胜利

退潮

Tortuous

Lecture Notes in Computer Sciencehttp://image.papertrans.cn/a/image/152762.jpg

我没有强迫

妨碍议事

10楼