Kripke semantics for full ground references (work in progress)

Research output: Contribution to conference (unpublished)Abstractpeer-review

Standard

Kripke semantics for full ground references (work in progress). / Levy, Paul.

2016. Abstract from LOLA 2016 - Syntax and Semantics of Low-Level Languages, New York, United States.

Research output: Contribution to conference (unpublished)Abstractpeer-review

Harvard

Levy, P 2016, 'Kripke semantics for full ground references (work in progress)', LOLA 2016 - Syntax and Semantics of Low-Level Languages, New York, United States, 10/07/16 - 10/07/16. <http://lola.cse.buffalo.edu/>

APA

Levy, P. (2016). Kripke semantics for full ground references (work in progress). Abstract from LOLA 2016 - Syntax and Semantics of Low-Level Languages, New York, United States. http://lola.cse.buffalo.edu/

Vancouver

Levy P. Kripke semantics for full ground references (work in progress). 2016. Abstract from LOLA 2016 - Syntax and Semantics of Low-Level Languages, New York, United States.

Author

Levy, Paul. / Kripke semantics for full ground references (work in progress). Abstract from LOLA 2016 - Syntax and Semantics of Low-Level Languages, New York, United States.2 p.

Bibtex

@conference{40761b571d594059bc5acc0f407cdedd,
title = "Kripke semantics for full ground references (work in progress)",
author = "Paul Levy",
year = "2016",
month = jul,
day = "10",
language = "English",
note = "LOLA 2016 - Syntax and Semantics of Low-Level Languages ; Conference date: 10-07-2016 Through 10-07-2016",

}

RIS

TY - CONF

T1 - Kripke semantics for full ground references (work in progress)

AU - Levy, Paul

PY - 2016/7/10

Y1 - 2016/7/10

M3 - Abstract

T2 - LOLA 2016 - Syntax and Semantics of Low-Level Languages

Y2 - 10 July 2016 through 10 July 2016

ER -