Delta-Decision Procedures for Exists-Forall Problems over the Reals Soonho Kong1 , Armando Solar-Lezama2 , and Sicun Gao3 1 Toyota Research Institute

First Page		Document Content
Date: 2018-09-27 16:37:21 Computational complexity theory Theoretical computer science Mathematical logic NP-complete problems Electronic design automation Formal methods Logic in computer science Predicate logic Boolean satisfiability problem Quantifier Limit of a function Exponential time hypothesis		Delta-Decision Procedures for Exists-Forall Problems over the Reals Soonho Kong1 , Armando Solar-Lezama2 , and Sicun Gao3 1 Toyota Research Institute Add to Reading List Source URL: scungao.github.io Download Document from Source Website File Size: 1,33 MB Share Document on Facebook

	Predicate Abstraction for Programmable Logic Controllers Sebastian Biallas, Mirco Giacobbe and Stefan Kowalewski Embedded Software Laboratory, RWTH Aachen University, Germany Abstract. In this paper, we present a predic DocID: 1xUQe - View Document
	J. Korean Math. Soc. FORMALIZING THE META-THEORY OF FIRST-ORDER PREDICATE LOGIC Hugo Herberlin, SunYoung Kim, and Gyesik Lee Abstract. This paper introduces a representation style of variable binding using dependent typ DocID: 1v7hr - View Document
	STRICT PREDICATIVITY1 Charles Parsons The most basic notion of impredicativity applies to specifications or definitions of sets or classes. If a set b is specified as {x: A(x)} for some predicate A, then the specificatio DocID: 1unjy - View Document
	Automata Theory Approach to Predicate Intuitionistic Logic Maciej Zielenkiewicz and Aleksy Schubert Institute of Informatics, University of Warsaw, Warsaw, Poland [maciekz,alx]@mimuw.edu.pl 1. Arcadian Automata DocID: 1tDnH - View Document
	Predicate Abstraction in a Program Logic Calculus Benjamin Weiß Institute for Theoretical Computer Science University of Karlsruhe, DKarlsruhe, Germany DocID: 1sZ2t - View Document