scientific article

From MaRDI portal

Publication:3741017

Jump to:navigation, search

zbMath0604.68012MaRDI QIDQ3741017

Vipin Kumar, Yow-Jian Lin

Publication date: 1986

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

zbMATH Keywords

AND-parallelism Horn-clause logic programs

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) General topics in the theory of software (68N01)

Related Items (1)

An execution model for exploiting AND-parallelism in logic programs

This page was built for publication:

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