Axiomatizing the Quote

Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review

Original language	English
Title of host publication	Proc. 20th Conference on Computer Science Logic - CSL'11
Place of Publication	Schloss Dagstuhl
Publisher	Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
Pages	458-469
Publication status	Published - 2011
Event	20th Conference on Computer Science Logic - CSL'11 - Schloss Dagstuhl Duration: 1 Jan 2011 → 1 Jan 2011

Conference	20th Conference on Computer Science Logic - CSL'11
Period	1/01/11 → 1/01/11

Persistent URL (handle)

@inproceedings{7733687cfa6c4080a9536c495d393b90,

title = "Axiomatizing the Quote",

author = "A. Polonsky",

year = "2011",

language = "English",

pages = "458--469",

booktitle = "Proc. 20th Conference on Computer Science Logic - CSL'11",

publisher = "Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik",

note = "20th Conference on Computer Science Logic - CSL'11 ; Conference date: 01-01-2011 Through 01-01-2011",

}