scientific article
From MaRDI portal
Publication:4058943
zbMath0303.00007MaRDI QIDQ4058943
No author found.
Publication date: 1973
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Conference proceedings and collections of articles (00Bxx)
Related Items (2)
The expressive power of Structural Operational Semantics with explicit assumptions ⋮ Algorithmic correspondence for relevance logics, bunched implication logics, and relation algebras via an implementation of the algorithm \textsf{PEARL}
This page was built for publication:
