Sahlqvist correspondence via duality and its applications

Alessandra Palmigiano

Sahlqvist correspondence via duality and its applications

^*Corresponding author for this work

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

Original language	English
Title of host publication	Logic, Language, Information, and Computation - 23rd International Workshop, WoLLIC 2016, Proceedings
Editors	Jouko Väänänen, Åsa Hirvonen, Ruy de Queiroz
Publisher	Springer Verlag
Pages	14-15
Number of pages	2
ISBN (Print)	9783662529201
Publication status	Published - 1 Jan 2016
Externally published	Yes
Event	23rd International Workshop on Logic, Language, Information, and Computation, WoLLIC 2016 - Puebla, Mexico Duration: 16 Aug 2016 → 19 Aug 2016

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	9803 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	23rd International Workshop on Logic, Language, Information, and Computation, WoLLIC 2016
Country/Territory	Mexico
City	Puebla
Period	16/08/16 → 19/08/16

Persistent URL (handle)

Copy link address

Cite this

Palmigiano, A. (2016). Sahlqvist correspondence via duality and its applications. In J. Väänänen, Å. Hirvonen, & R. de Queiroz (Eds.), Logic, Language, Information, and Computation - 23rd International Workshop, WoLLIC 2016, Proceedings (pp. 14-15). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 9803 LNCS). Springer Verlag.

Palmigiano, Alessandra. / Sahlqvist correspondence via duality and its applications. Logic, Language, Information, and Computation - 23rd International Workshop, WoLLIC 2016, Proceedings. editor / Jouko Väänänen ; Åsa Hirvonen ; Ruy de Queiroz. Springer Verlag, 2016. pp. 14-15 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{764a37a95c4f48789eea242864afec68,

title = "Sahlqvist correspondence via duality and its applications",

author = "Alessandra Palmigiano",

year = "2016",

month = jan,

day = "1",

language = "English",

isbn = "9783662529201",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "14--15",

editor = "Jouko V{\"a}{\"a}n{\"a}nen and {\AA}sa Hirvonen and {de Queiroz}, Ruy",

booktitle = "Logic, Language, Information, and Computation - 23rd International Workshop, WoLLIC 2016, Proceedings",

address = "Germany",

note = "23rd International Workshop on Logic, Language, Information, and Computation, WoLLIC 2016 ; Conference date: 16-08-2016 Through 19-08-2016",

}

Palmigiano, A 2016, Sahlqvist correspondence via duality and its applications. in J Väänänen, Å Hirvonen & R de Queiroz (eds), Logic, Language, Information, and Computation - 23rd International Workshop, WoLLIC 2016, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 9803 LNCS, Springer Verlag, pp. 14-15, 23rd International Workshop on Logic, Language, Information, and Computation, WoLLIC 2016, Puebla, Mexico, 16/08/16.

Sahlqvist correspondence via duality and its applications. / Palmigiano, Alessandra.
Logic, Language, Information, and Computation - 23rd International Workshop, WoLLIC 2016, Proceedings. ed. / Jouko Väänänen; Åsa Hirvonen; Ruy de Queiroz. Springer Verlag, 2016. p. 14-15 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 9803 LNCS).

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

TY - GEN

T1 - Sahlqvist correspondence via duality and its applications

AU - Palmigiano, Alessandra

PY - 2016/1/1

Y1 - 2016/1/1

UR - http://www.scopus.com/inward/record.url?scp=84981502156&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84981502156&partnerID=8YFLogxK

M3 - Conference contribution

AN - SCOPUS:84981502156

SN - 9783662529201

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 14

EP - 15

BT - Logic, Language, Information, and Computation - 23rd International Workshop, WoLLIC 2016, Proceedings

A2 - Väänänen, Jouko

A2 - Hirvonen, Åsa

A2 - de Queiroz, Ruy

PB - Springer Verlag

T2 - 23rd International Workshop on Logic, Language, Information, and Computation, WoLLIC 2016

Y2 - 16 August 2016 through 19 August 2016

ER -

Palmigiano A. Sahlqvist correspondence via duality and its applications. In Väänänen J, Hirvonen Å, de Queiroz R, editors, Logic, Language, Information, and Computation - 23rd International Workshop, WoLLIC 2016, Proceedings. Springer Verlag. 2016. p. 14-15. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

Sahlqvist correspondence via duality and its applications

Publication series

Conference

Persistent URL (handle)

Other files and links

Cite this