16 citations · 106 across the 22 of their papers we have counts for
Showing 2022Show all
2 papers · 1 filter
cs.DB2022★ 1 cited
Paraconsistent logic and query answering in inconsistent databases
C. A. Middelburg
This paper concerns the paraconsistent logic LPQ and an application of it in the area of relational database theory. The notions of a relational database, a…
cs.LO2022★ 1 cited
Imperative process algebra and models of computation
C. A. Middelburg
Studies of issues related to computability and computational complexity involve the use of a model of computation. Pivotal to such a model are the computational processes considere…