Works matching AU Birštunas, Adomas

Grouping based calculus for propositional linear temporal logic.

Published in:

Lietuvos Matematikos Rinkinys, 2024, v. 65, n. Series A, p. 18, doi. 10.15388/lmd.2024.37368

By:

• Ragauskas, Kostas;
• Birštunas, Adomas

Publication type:

Article