Abstract: We present initial limit Datalog, a new extensible class of constrained Horn clauses for which the satisfiability problem is decidable. The class may be viewed as a generalisation to ...

There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.

The development of algebraic geometry over groups, geometric group theory and group-based cryptography, has led to there being a tremendous recent interest in infinite group theory. This volume ...

Abstract: Petri nets (PNs) are graphical and mathematical tools used to model a variety of discrete event systems and analyze their properties. Reachability is their fundamental property that is ...

Zulip discussion: https://leanprover.zulipchat.com/#narrow/stream/270676-lean4/topic/deriving.20DecidableEq.20fails.20with.20implicit.20argument. The equivalent in ...

Two students from the School of Computing Science received scholarship awards to help support their research projects. MSc student Yi Chen was awarded the 2023 Canada Graduate Scholarships-Master’s ...

Embedded systems are ubiquitous in our daily lives, from medical devices to automotive systems to smart homes, yet the most popular embedded programming language poses significant safety and security ...

Nine short stories about geometric higher categories. Today, I only want to focus on two basic questions about geometric higher categories: namely, what is the idea behind the connection of geometry ...

Abstract—In this paper, decidability of the structures of real, rational, integer and natural numbers will be studied in different languages. Decidability or undecidability of mathematical structures ...