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影響因子(影響力)學(xué)科排名




書目名稱Algebraic and Logic Programming網(wǎng)絡(luò)公開度




書目名稱Algebraic and Logic Programming網(wǎng)絡(luò)公開度學(xué)科排名




書目名稱Algebraic and Logic Programming被引頻次




書目名稱Algebraic and Logic Programming被引頻次學(xué)科排名




書目名稱Algebraic and Logic Programming年度引用




書目名稱Algebraic and Logic Programming年度引用學(xué)科排名




書目名稱Algebraic and Logic Programming讀者反饋




書目名稱Algebraic and Logic Programming讀者反饋學(xué)科排名

賭博

抱狗不敢前

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