E.Boerger, H.Kleine Buening, M.M. Richter, Eds. See IBM Germany IWBS Report 111, March 1990. Reprinted in: Proceedings of The 3rd Logic Programming Winter School and Seminar. LOP'91, Ruprechtov, Czechoslovakia, pp.65-94.
A logical operational semantics for full Prolog. Part I: Selection core and control
BORGER, EGON
1990-01-01
Abstract
E.Boerger, H.Kleine Buening, M.M. Richter, Eds. See IBM Germany IWBS Report 111, March 1990. Reprinted in: Proceedings of The 3rd Logic Programming Winter School and Seminar. LOP'91, Ruprechtov, Czechoslovakia, pp.65-94.File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.