] Filters: Author is Thomas Ströder [Clear All Filters]
"A Parallel Virtual Machine for Executing Forward-Chaining Linear Logic Programs", in "International Joint Workshop on Implementation of Constraint and Logic Programming Systems and Logic-based Methods in Programming Environments (CICLOPS-WLPE 2014)" , pp.125–139, July 2014.
"A Portable Prolog Predicate for Printing Rational Terms", in "International Joint Workshop on Implementation of Constraint and Logic Programming Systems and Logic-based Methods in Programming Environments (CICLOPS-WLPE 2014)" , pp.141–153, July 2014.