A Spatial Logic for Querying Graphs
暂无分享,去创建一个
[1] Alberto O. Mendelzon,et al. GraphLog: a visual formalism for real life recursion , 1990, PODS '90.
[2] Luca Cardelli,et al. A Spatial Logic for Concurrency , 2001, TACS.
[3] Luca Cardelli,et al. A spatial logic for concurrency (part I) , 2003, Inf. Comput..
[4] Benjamin C. Pierce,et al. Regular expression pattern matching for XML , 2003, POPL '01.
[5] Philippa Gardner,et al. Explicit Fusions , 2000, MFCS.
[6] J W Ballard,et al. Data on the web? , 1995, Science.
[7] Dan Suciu,et al. A query language and optimization techniques for unstructured data , 1996, SIGMOD '96.
[8] David J. Pym,et al. The semantics and proof theory of the logic of bunched implications , 2002, Applied logic series.
[9] Luca Cardelli,et al. A Query Language Based on the Ambient Logic , 2001, SEBD.
[10] Luca Cardelli,et al. Anytime, anywhere: modal logics for mobile ambients , 2000, POPL '00.
[11] Francesca Rossi,et al. An Abstract Machine for Concurrent Modular Systems: CHARM , 1994, Theor. Comput. Sci..
[12] Bruno Courcelle,et al. The Expression of Graph Properties and Graph Transformations in Monadic Second-Order Logic , 1997, Handbook of Graph Grammars.
[13] Peter W. O'Hearn,et al. BI as an assertion language for mutable data structures , 2001, POPL '01.
[14] Luca Cardelli,et al. Logical Properties of Name Restriction , 2001, TLCA.
[15] Dan Suciu,et al. STRUDEL: a Web site management system , 1997, SIGMOD '97.