Back to Results
First PageMeta Content
Automated theorem proving / Logic programming / Unification / Function / Expected value / Integration by substitution / First-order logic / Μ operator / Mathematics / Mathematical logic / Functions and mappings


Reductions for Synthesis Procedures? Swen Jacobs1 , Viktor Kuncak2 , and Philippe Suter2 1 2
Add to Reading List

Document Date: 2012-11-13 08:55:05

Open Document

File Size: 397,89 KB

Share Result on Facebook

Company

Enumerating Solutions / /

Country

Switzerland / Austria / /

Currency

pence / /

/

Facility

Graz University of Technology / /

IndustryTerm

run-time search / research network / systematic applications / Typical applications / successive applications / /

Organization

Ecole Polytechnique F´ed´erale de Lausanne / National Science Foundation / Austrian Science Fund / Graz University of Technology / European Commission / /

Person

Philippe Suter / /

Position

interpreter / /

Product

Pentax K-x Digital Camera / /

ProgrammingLanguage

R / T / /

SocialTag