Sci. Ann. Comput. Sci.

Keyphrases

Publications

volume 34, number 1, 2024

volume 33, number 1, 2023

volume 33, number 2, 2023

Eleni Mandrali
Describing weighted safety with weighted LTL over product omega-valuation monoids. Sci. Ann. Comput. Sci. 33 (2) (2023)
Shikha Rai, Shibsankar Das
On Nirmala Indices of Some Hex-derived Networks of Type Three and Their Subdivision Networks. Sci. Ann. Comput. Sci. 33 (2) (2023)
Cornelis A. Middelburg
Belnap-Dunn Logic and Query Answering in Inconsistent Databases with Null Values. Sci. Ann. Comput. Sci. 33 (2) (2023)

volume 32, number 1, 2022

volume 32, number 2, 2022

volume 31, number 1, 2021

volume 31, number 2, 2021

volume 30, number 1, 2020

volume 30, number 2, 2020

volume 29, number 1, 2019

volume 29, number 2, 2019

Jan A. Bergstra, Cornelis A. Middelburg
Program Algebra for Turing-Machine Programs. Sci. Ann. Comput. Sci. 29 (2) (2019)
Ali Gholami Rudi
Identifying and Querying Regularly Visited Places. Sci. Ann. Comput. Sci. 29 (2) (2019)
Leandro Gomes, Alexandre Madeira, Luís Soares Barbosa
Generalising KAT to Verify Weighted Computations. Sci. Ann. Comput. Sci. 29 (2) (2019)

volume 28, number 2, 2018