Travelled to:1 × Australia
1 × Belgium
Collaborated with:C.Kreitz W.Bibel F.Kurucz J.Otten S.Schmitt G.Stolpmann
Talks about:logic (2) intuitionist (1) translat (1) synthesi (1) proposit (1) approach (1) program (1) classic (1) multi (1) level (1)
Person: Daniel S. Korn
DBLP: Korn:Daniel_S=
Contributed to:
1997
1997Wrote 2 papers:
- CADE-1997-KornK #logic
- Deciding Intuitionistic Propositional Logic via Translation into Classical Logic (DSK, CK), pp. 131–145.
- LOPSTR-1997-BibelKKKOSS #approach #multi #synthesis
- A Multi-level Approach to Program Synthesis (WB, DSK, CK, FK, JO, SS, GS), pp. 1–27.