Ewa Orłowska on relational methods in logic and computer science

DOI10.1007/978-3-319-97879-6zbMath1411.03003OpenAlexW3111207028MaRDI QIDQ1722898

No author found.

Publication date: 18 February 2019

Published in: Outstanding Contributions to Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-97879-6

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Collections of articles of miscellaneous specific interest (00B15) Logic in computer science (03B70) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) Proof theory and constructive mathematics (03Fxx)

Related Items (1)

Many-valued dynamic object-oriented inheritance and approximations

This page was built for publication: Ewa Orłowska on relational methods in logic and computer science