Travelled to:1 × Austria
Collaborated with:J.Brotherston C.Fuhs N.Gorogiannis
Talks about:procedur (1) satisfi (1) predic (1) induct (1) separ (1) logic (1) decis (1)
Person: Juan A. Navarro Pérez
DBLP: P=eacute=rez:Juan_A=_Navarro
Contributed to:
2014Wrote 1 papers:
- LICS-CSL-2014-BrotherstonFPG #induction #logic #satisfiability
- A decision procedure for satisfiability in separation logic with inductive predicates (JB, CF, JANP, NG), p. 10.