Travelled to:1 × France
1 × Germany
Collaborated with:H.Vollmer J.Kontinen H.Schnoor N.Creignou R.Ktari A.Meier F.Olive
Talks about:parameter (1) theorem (1) problem (1) benthem (1) semant (1) enumer (1) modif (1) modal (1) team (1) van (1)
Person: Julian-Steffen Müller
DBLP: M=uuml=ller:Julian=Steffen
Contributed to:
2015
2015Wrote 2 papers:
- CSL-2015-KontinenMSV #semantics #theorem
- A Van Benthem Theorem for Modal Team Semantics (JK, JSM, HS, HV), pp. 277–291.
- LATA-2015-CreignouKMMOV #problem
- Parameterized Enumeration for Modification Problems (NC, RK, AM, JSM, FO, HV), pp. 524–536.