Author:
Chong Cheun Ngen,Corin Ricardo,Doumen Jeroen,Etalle Sandro,Hartel Pieter,Law Yee Wei,Tokmakoff Andrew
Publisher
Springer Science and Business Media LLC
Subject
Electrical and Electronic Engineering
Reference45 articles.
1. Apt (K.R.), Introduction to Logic Programming. InVan Leeuwen (J.), editor, Handbook of Theoretical Computer Science, volume B: Formal Models and Semantics, pages 495–574. Elsevier, Amsterdam and TheMit Press, Cambridge, 1990.
2. Apt (K.R.), From Logic Programming to Prolog.Prentice Hall, Hertfordshire, United Kingdom, 1997.
3. {au{fnApt} {gn(K. R.)}}, {au{fnPedreschi} {gn(D.)}}, {atReasoning about termination of pure Prolog programs}. {jtInformation and Computation}, {vn106} ({sn1}):{pp109-157}, {dy1993}.
4. Balacheff (B.),Chen (L.),Pearson (S.),Plaquin (D.),Proudler (G.), Trusted Computing Platforms:Tcpa Technology in Context. Prentice HallPtr. Upper Saddle River, New Jersey,Usa, 2003.
5. Lncs;(J.-P.) Banâtre,2001
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献