Travelled to:
1 × USA
Collaborated with:
S.Hölldobler J.Schneeberger U.C.Sigmund M.Thielscher
Talks about:
program (1) action (1) logic (1) equat (1) chang (1)
Person: Gerd Große
DBLP: Gro=szlig=e:Gerd
Contributed to:
Wrote 1 papers:
- JICSLP-1992-GrosseHSST #equation #logic programming
- Equational Logic Programming Actions, and Change (GG, SH, JS, UCS, MT), pp. 177–191.