scientific article

From MaRDI portal

Publication:3210156

Jump to:navigation, search

zbMath0722.68025MaRDI QIDQ3210156

Yihua Shi, Setsuo Arikawa

Publication date: 1991

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

locally reducing programs locally weak reducing termination of derivations

Mathematics Subject Classification ID

Logic programming (68N17)

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3210156&oldid=16368854"