Login / Signup

A Linear Operational Semantics for Termination and Complexity Analysis of ISO Prolog.

Thomas StröderFabian EmmesPeter Schneider-KampJürgen GieslCarsten Fuhs
Published in: LOPSTR (2011)
Keyphrases