Quantification, Witness Sets and Conservativity

Autor:	Klein, Udo, Choi, Jaehoon, Hogue, E. Alan, Punske, Jeffrey, Tat, Deniz, Schertz, Jessamyn, Trueman, Alex
Jazyk:	angličtina
Rok vydání:	2012
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=od______2294::5a8a9b8aa90769687f9bb691ff48241c https://pub.uni-bielefeld.de/record/2567307 Zobrazit plný text záznamu