43 citations · 278 across the 46 of their papers we have counts for
Showing 2016Show all
2 papers · 1 filter
math.NA2016★ 4 cited
Semantics, Specification Logic, and Hoare Logic of Exact Real Computation
Sewon Park, Franz Brauße, Pieter Collins +7
We propose a simple imperative programming language, ERC, that features arbitrary real numbers as primitive data type, exactly. Equipped with a denotational semantics, ERC provides…
math.LO2016
On the consistency problem for modular lattices and related structures
Christian Herrmann, Yasuyuki Tsukamoto, Martin Ziegler
The consistency problem for a class of algebraic structures asks for an algorithm to decide for any given conjunction of equations whether it admits a non-trivial satisfying assign…