Travelled to:
1 × USA
Collaborated with:
M.H.Sørensen
Talks about:
grammar (1) infer (1) drive (1) check (1) dag (1)
Person: Jens P. Secher
DBLP: Secher:Jens_P=
Contributed to:
Wrote 1 papers:
- PEPM-2002-SecherS #graph
- From checking to inference via driving and dag grammars (JPS, MHS), pp. 41–51.