Back to Results
First PageMeta Content
Predicate logic / Model theory / Semantics / Logic in computer science / Formal languages / Satisfiability Modulo Theories / First-order logic / Interpretation / Atomic formula / Logic / Theoretical computer science / Mathematical logic


Reasoning with Triggers Claire Dross Sylvain Conchon Johannes Kanig
Add to Reading List

Document Date: 2012-06-20 03:34:17

Open Document

File Size: 353,96 KB

Share Result on Facebook

City

Paris / /

Company

Ge / Xerox / /

Country

France / /

Facility

University of Iowa / /

IndustryTerm

proof search / /

Organization

University of Iowa / /

Person

Claire Dross / Amit Goel / Michal Moskal / Evelyne Contejean / Nikolaj Bjørner / Claire Dross Sylvain Conchon Johannes / Andrei Paskevich / Clark Barrett / de Moura / Swen Jacobs / Johannes Kanig / Sylvain Conchon / David Detlefs / Pascal Fontaine / Viktor Kuncak / James B. Saxe / Aaron Stump / Cesare Tinelli / Greg Nelson / /

Position

guard / /

ProvinceOrState

Iowa / /

SocialTag