Sci. Ann. Comput. Sci.

Keyphrases

Publications

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)
Cornelis A. Middelburg
Belnap-Dunn Logic and Query Answering in Inconsistent Databases with Null Values. 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)

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 1, 2018

volume 28, number 2, 2018