de.mpg.escidoc.pubman.appbase.FacesBean
English
 
Help Guide Disclaimer Contact us Login
  Advanced SearchBrowse

Item

ITEM ACTIONSEXPORT

Released

Conference Paper

Deciding First-Order Satisfiability when Universal and Existential Variables are Separated

MPS-Authors
http://pubman.mpdl.mpg.de/cone/persons/resource/persons73108

Sturm,  Thomas
Automation of Logic, MPI for Informatics, Max Planck Society;

http://pubman.mpdl.mpg.de/cone/persons/resource/persons101767

Voigt,  Marco
Automation of Logic, MPI for Informatics, Max Planck Society;

http://pubman.mpdl.mpg.de/cone/persons/resource/persons45719

Weidenbach,  Christoph
Automation of Logic, MPI for Informatics, Max Planck Society;

Locator
There are no locators available
Fulltext (public)
There are no public fulltexts available
Supplementary Material (public)
There is no public supplementary material available
Citation

Sturm, T., Voigt, M., & Weidenbach, C. (2016). Deciding First-Order Satisfiability when Universal and Existential Variables are Separated. In Proceedings of the 31st Annual ACM-IEEE Symposium on Logic in Computer Science (pp. 86-95). New York, NY: ACM. doi:10.1145/2933575.2934532.


Cite as: http://hdl.handle.net/11858/00-001M-0000-002C-1B3A-F
Abstract
There is no abstract available