scientific article

From MaRDI portal

Publication:3947165

Jump to:navigation, search

zbMath0486.68106MaRDI QIDQ3947165

Luís Monteiro

Publication date: 1981

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

zbMATH Keywords

concurrent computation concurrent logic parallelizing PROLOG-like procedures

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Theory of operating systems (68N25)

Related Items (1)

Contributions to the semantics of logic perpetual processes

This page was built for publication:

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