Sebastian Bab

From MaRDI portal
Person:2575739



List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

PublicationDate of PublicationType
-style (of) semantics. An alternative to set-theoretic modelling2011-03-25Paper
\(\in_\mu\)-logic -- a theory of propositional logics2007-09-12Paper
One query reducibilities between partial information classes
Theoretical Computer Science
2005-12-06Paper
Formal Methods in Software and Systems Modeling
Lecture Notes in Computer Science
2005-12-02Paper
Mathematical Foundations of Computer Science 2004
Lecture Notes in Computer Science
2005-08-22Paper


Research outcomes over time


This page was built for person: Sebastian Bab