scientific article

zbMath0648.68069MaRDI QIDQ3793737

Gerda Thieler-Mevissen

Publication date: 1987

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

zbMATH Keywords

first-order predicate logicSkolem functionsexistential quantifierspredicate transition netdead transitionspredicate fact netsPrT-net

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Basic properties of first-order languages and structures (03C07)

This page was built for publication: