research
∙
09/07/2021
First-Order Logic in Finite Domains: Where Semantic Evaluation Competes with SMT Solving
In this paper, we compare two alternative mechanisms for deciding the va...
share
research
∙
04/01/2019
Theorem and Algorithm Checking for Courses on Logic and Formal Methods
The RISC Algorithm Language (RISCAL) is a language for the formal modeli...
research
∙
03/05/2018
Teaching the Formalization of Mathematical Theories and Algorithms via the Automatic Checking of Finite Models
Education in the practical applications of logic and proving such as the...
research
∙
09/07/2017
MK-fuzzy Automata and MSO Logics
We introduce MK-fuzzy automata over a bimonoid K which is related to the...
research
∙
07/10/2012