scientific article
From MaRDI portal
Publication:2819397
zbMath1345.68217MaRDI QIDQ2819397
Publication date: 29 September 2016
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Partial orders, general (06A06) Formal languages and automata (68Q45) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Complexity of proofs (03F20)
This page was built for publication: