MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "A Query Language Based on the Ambient Logic." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 3 documents found, showing 1 through 3.
ATOM RSS
  • data structure (abstract of invited lecture). In Fritz Henglein,  
  • by Structure In Jim Davies, Bill Roscoe, Jim Woodcock, Peter W. O’hearn, John C. Reynolds, Hongseok Yang Local Reasoning, John C. Reynolds, John Hughes, Henning Makholm, Henning Niss
  • … language based on the ambient logic. In D. Sands, editor, Programming Languages and Systems — ESOP 2001…
  • Add To MetaCart
  • A Spatial Logic for Querying Graphs  
  • by Luca Cardelli, Philippa Gardner, Giorgio Ghelli — 2001 — In Proc. of ICALP, volume 2380 of LNCS
  • … approach found in Cardelli and Ghelli's TQL, a query language based on the ambient logic [CG01a…
  • Cited by 55 (5 self) – Add To MetaCart
Help! Showing 1 through 3.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB