scientific article
From MaRDI portal
Publication:2767102
zbMath0983.68188MaRDI QIDQ2767102
Helko Lehmann, Michael Leuschel
Publication date: 28 January 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in artificial intelligence (68T27) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Decidability of theories and sets of sentences (03B25)
This page was built for publication: