English
 
Help Privacy Policy Disclaimer
  Advanced SearchBrowse

Item

ITEM ACTIONSEXPORT

Released

Conference Paper

Universal Skolem Sets

MPS-Authors
/persons/resource/persons217847

Ouaknine,  Joël
Group J. Ouaknine, Max Planck Institute for Software Systems, Max Planck Society;

External Resource
No external resources are shared
Fulltext (public)

skolem_sets21.pdf
(Preprint), 160KB

Supplementary Material (public)
There is no public supplementary material available
Citation

Luca, F., Ouaknine, J., & Worrell, J. (2021). Universal Skolem Sets. In 36th Annual ACM/IEEE Symposium on Logic in Computer Science (pp. 1-6). New York, NY: ACM. doi:10.1109/LICS52264.2021.9470513.


Cite as: http://hdl.handle.net/21.11116/0000-0009-2F01-2
Abstract
There is no abstract available