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

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

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

	题名	作者	年代	出处	被引量
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	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
3	Logic programming and negation: A survey显示文摘	Apt K Bol R	1994	The Journal of Logic Programming1994，1920，：	1
4	Kleene modules and linear languages显示文摘	LeiB H	2006	The Journal of Logic and Algebraic Programming2006，66，：	1
5	A brief account of runtime verification 显示文摘	Leucker M Sehallhart C	2009	The Journal of Logic and Algebraic Programming2009，78，5：	1
6	A Petri net approach for the design and analysis of web services choreographies显示文摘	VALERO V Cambronero M E DIAZ G	2009	The Journal of Logic and Algebraic Programming2009，78，5：	1
7	Kleene modules and linear languages 显示文摘	Leiβ H	2006	The Journal of Logic and Algebraic Programming2006，66，：	1
8	Petri net modules in the transformation-based component framework 显示文摘	PADBERG J EHRIG H	2006	The Journal of Logic and Algebraic Programming2006，67，12：	1
9	A petri net approach for the design and analysis of Web Services Choreographies 显示文摘	Valentine Valero M Emilia Cambronero Gregorio Diaz Hermenegilda Macia	2009	The Journal of Logic and Algebrie Programming (S1567-8326)2009，78，5：	1
10	Theory and Practice of Constraint Handling Rules显示文摘	Fruhwirth T	1998	The Journal of Logic Programming1998，37，13：	1
11	Test generation from P systems using model checking 显示文摘	IPATE F GHEORGHE M LEFTICARU R	2010	The Journal of Logic and Alge- braic Programming2010，79，6：	1
12	Introduction to the constraint language NCL显示文摘	Zhou J	2000	The Journal of Logic Programming2000，45，1：	1
13	A survey of deductive database systems 显示文摘	RAMAKRISHNAN R ULLMAN J D	1995	The Journal of Logic Programming1995，23，2：	1
14	A Petri net approach for the design and a-nalysis of Web services Choreographies显示文摘	Valero V Cambronero E M	2009	The Journal of Logic Alge-braic Programming2009，，78：	1
15	Constraint logic programming: A survey 显示文摘	Jaffar Joxan Maher Michael J	1994	The Journal of Logic Programming1994，19，3：	1
16	Structural and behavioural compatibility of graphical service specifications显示文摘	HECKELA R CHERCHAGO A	2007	The Journal of Logic and Algebraic Programming2007，70，：	1
17	A Petri net approach for the design and analysis of Web services choreographies 显示文摘	VALENTIN V EMILIA M C GREGORIO D	2009	The Journal of Logic and Algebraic Programming2009，78，5：	1
18	A quick introduction to membrane computing显示文摘	P:tun G	2010	The Journal of Logic and Algebraic Programming2010，79，6：	1
19	Completeness and properness of refinement operators in inductive logic program- ming显示文摘	Vander Laag P R J Nienhuys-Cheng S H	1998	The Journal of Logic Programming1998，34，3：	1
20	Validation and verification of Web services choreogra phies by using timed automata显示文摘	CAMBRONERO M E DiAZ G VALERO V	2011	The Journal of Logic and Algebraic Programming2011，80，1：	1

返回顶部每页显示：

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

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

用户提示