维普期刊资源整合服务平台（V6.5）

133篇 您的检索式：期刊名="Journal of Logic Programming"

选中清除导出查看参考文献查看引证文献引用追踪共7页首页上一页第1页下一页末页 /7 跳转

	题名	作者	年代	出处	被引量
1	A petri net approach for the design and analysis of Web Services Choreographies 显示文摘	Valero V	2009	The Journal of Logic and Algebric Programming2009，78，：	1
2	Linear-time algorithms for testing the satisfiability of propositional Horn formulae 显示文摘	Dowling W Gallier J	1984	Journal of Logic Programming1984，1，3：	1
3	A pi-calculus based semantics for WSBPEL显示文摘	Lucchi R Mazzara M	2007	Journal of Logic and Algebraic Programming2007，70，：	1
4	A survey of research on deductive database systems 显示文摘	Ramakrishnan R Ullman J D	1993	Journal of Logic Programming1993，23，12：	1
5	Efficient run-time type checking of typed logic programs显示文摘	Dart P W Zobel J	1992	Journal of Logic Programming1992，14，12：	1
6	Distributed semantics for the calculus based on Petri nets with inhibitor arcs 显示文摘	Busi N Gorrieri R	2009	Journal of Logic and Algebraic Programming2009，78，13：	1
7	Validation and veri- fication of web services choreographies by using limed automa- ta显示文摘	Cambronero M E Diaz G Valero V	2011	The Journal of Logic and Algebraic Programming2011，80，1：	1
8	GOLOG:a logic programming language for dynamic domains显示文摘	LEVESQUE H J REITER R LESPERANCE Y	1997	Journal of Logic Programming1997，31，13：	1
9	The NRL Protocol Analyzer: an overview 显示文摘	Meadows C	1996	Journal of Logic Programming1996，26，2：	1
10	The IFF Proof Procedure for Abductive Logic Programming显示文摘	Fung T H Kowalski R A	1997	Journal of Logic Programming1997，，12：	1
11	Automatic verification of selected equivalences for security protocols 显示文摘	BLANCHET B ABADI M FOURNET C	2008	Journal of Logic and AIgebraio Programming2008，75，1：	1
12	GOLOG: a logic programming language for dynamic domains 显示文摘	Levesque H Reiter R Lesperance Y	1997	Journal of Logic Programming1997，31，13：	1
13	Logic programming and negation: A survey显示文摘	Apt K Bol R	1994	The Journal of Logic Programming1994，1920，：	1
14	Introduction to the constraint language NCL显示文摘	Zhou J	2000	Journal of Logic Programming2000，45，13：	1
15	Logic Programming and Negation: A Survey 显示文摘	Apt K Bol B	1994	Journal of Logic Programming1994，1920，：	1
16	A survey of deductive database systems显示文摘	Ramakrishnan R Ullman J D	1995	Journal of Logic Programming1995，23，2：	1
17	Kleene modules and linear languages显示文摘	LeiB H	2006	The Journal of Logic and Algebraic Programming2006，66，：	1
18	Logic programming and negation: A survey显示文摘	Apt K Bol B	1994	Journal of Logic Programming1994，1920，1：	1
19	Logic programming and knowledge representation显示文摘	Baral C Gelfond M	1994	Journal of Logic Programming1994，1920，1：	1
20	Linear-time algorithm for testing the satisfiability of prepositional Horn formulae 显示文摘	Dowling W F Gallier J H	1984	Journal of Logic Programing1984，，1：	1

返回顶部每页显示：

共7页首页上一页第1页下一页末页 /7 跳转

互联网出版许可证新出网证(渝)字10号全国400电话 - 免长途话费

用户提示