About

Log in?

DTU users get better search results with free access to licensed content and discounts on order fees.

Anyone can log in and get personalized features such as favorites, tags and feeds.

Log in as DTU user Log in as non-DTU user No thanks

DTU Findit

Operational Semantics of an Imperative Language in Definite Clauses

(translated: 2003 Joint Conference on Declarative Programming, AGP-2003, Reggio Calabria, Italy, September 3-5, 2003)

Year: 2003
Pages: 337-349

DTU users get better search results with free access to licensed content and discounts on order fees.

Log in as DTU user

Access