From Separation Logic to First‐Order Logic

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	English
Title of host publication	FoSSaCS: Foundations of Software Science and Computation Structures
Publication status	Published - 2005
Event	FoSSaCS: Foundations of Software Science and Computation Structures - Edinburgh, United Kingdom Duration: 4 Apr 2005 → 8 Apr 2005

Conference	FoSSaCS: Foundations of Software Science and Computation Structures
Country/Territory	United Kingdom
City	Edinburgh
Period	4/04/05 → 8/04/05

Cite this

@inproceedings{fe0bc07c62054dc7852739363b7d1b64,

title = "From Separation Logic to First‐Order Logic",

author = "Cristiano Calcagno and Philippa Gardner and Matthew Hague",

year = "2005",

language = "English",

booktitle = "FoSSaCS: Foundations of Software Science and Computation Structures",

note = "FoSSaCS: Foundations of Software Science and Computation Structures ; Conference date: 04-04-2005 Through 08-04-2005",

}