From Separation Logic to First‐Order Logic. / Calcagno, Cristiano; Gardner, Philippa; Hague, Matthew.

FoSSaCS: Foundations of Software Science and Computation Structures. 2005.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Published

Standard

From Separation Logic to First‐Order Logic. / Calcagno, Cristiano; Gardner, Philippa; Hague, Matthew.

FoSSaCS: Foundations of Software Science and Computation Structures. 2005.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Harvard

Calcagno, C, Gardner, P & Hague, M 2005, From Separation Logic to First‐Order Logic. in FoSSaCS: Foundations of Software Science and Computation Structures. FoSSaCS: Foundations of Software Science and Computation Structures, Edinburgh, United Kingdom, 4/04/05.

APA

Calcagno, C., Gardner, P., & Hague, M. (2005). From Separation Logic to First‐Order Logic. In FoSSaCS: Foundations of Software Science and Computation Structures

Vancouver

Calcagno C, Gardner P, Hague M. From Separation Logic to First‐Order Logic. In FoSSaCS: Foundations of Software Science and Computation Structures. 2005

Author

Calcagno, Cristiano ; Gardner, Philippa ; Hague, Matthew. / From Separation Logic to First‐Order Logic. FoSSaCS: Foundations of Software Science and Computation Structures. 2005.

BibTeX

@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",

}

RIS

TY - GEN

T1 - From Separation Logic to First‐Order Logic

AU - Calcagno, Cristiano

AU - Gardner, Philippa

AU - Hague, Matthew

PY - 2005

Y1 - 2005

M3 - Conference contribution

BT - FoSSaCS: Foundations of Software Science and Computation Structures

T2 - FoSSaCS: Foundations of Software Science and Computation Structures

Y2 - 4 April 2005 through 8 April 2005

ER -