scientific article
From MaRDI portal
Publication:3787443
zbMath0644.68021MaRDI QIDQ3787443
Publication date: 1988
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
semanticsinfinite computationsdeadlockConcurrent Prologdomain equationConcurrent logic languagesgoal statementtree like structures
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (3)
Comparative metric semantics for concurrent PROLOG ⋮ Four domains for concurrency ⋮ Comparative semantics for flow of control in logic programming without logic
This page was built for publication:
