scientific article; zbMATH DE number 1337623
From MaRDI portal
Publication:4264062
zbMath0925.03147MaRDI QIDQ4264062
Publication date: 21 September 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in computer science (03B70) Logic with extra quantifiers and operators (03C80) Logic programming (68N17)
Related Items (3)
Bounded quantifications for iteration and concurrency in logic programming ⋮ Absolute versus probabilistic classification in a logical setting ⋮ Blackboard relations in the \(\mu\text{Log}\) coordination model
This page was built for publication:
