Titlebook: Algebraic and Logic Programming; International Worksh J. Grabowski,P. Lescanne,W. Wechler Conference proceedings 1988 Akademie-Verlag Berli

Dopamine

书目名称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读者反馈学科排名

赌博

抱狗不敢前

debase

978-3-540-50667-6Akademie-Verlag Berlin 1988

补充

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

碎片

ACP with signals,els to nodes of process graphs. The labels of nodes are called signals. In combination with the operators of BPA, a signal insertion operator allows to describe each finite tree labeled with actions and signals, provided the signals do not occur at leaves of the tree. In a merge processes can observ

Fabric

0302-9743 ic Republic) from November 14 to 18, 1988. The workshop was devoted to Algebraic Programming, in the sense of programming by algebraic specifications and rewrite rule systems, and Logic Programming, in the sense of Horn clause specifications and resolution systems. This includes combined algebraic/l

Aggrandize

Allison Hui,Rosie Day,Gordon Walkero describe each finite tree labeled with actions and signals, provided the signals do not occur at leaves of the tree. In a merge processes can observe the signals of concurrent processes. This research was sponsored in part by ESPRIT under contract 432, METEOR.

confide

易于交谈

Conference proceedings 1988c) from November 14 to 18, 1988. The workshop was devoted to Algebraic Programming, in the sense of programming by algebraic specifications and rewrite rule systems, and Logic Programming, in the sense of Horn clause specifications and resolution systems. This includes combined algebraic/logic progr