1 citations · 1 across the 3 of their papers we have counts for
3 papers
cs.LO2018
An Integrated First-Order Theory of Points and Intervals over Linear Orders (Part II)
Willem Conradie, Salih Durhan, Guido Sciavicco
There are two natural and well-studied approaches to temporal ontology and reasoning: point-based and interval-based. Usually, interval-based temporal reasoning deals with points a…
cs.LO2018
An Integrated First-Order Theory of Points and Intervals over Linear Orders (Part I)
Willem Conradie, Salih Durhan, Guido Sciavicco
There are two natural and well-studied approaches to temporal ontology and reasoning: point-based and interval-based. Usually, interval-based temporal reasoning deals with points a…
math.LO2013★ 1 cited
Quantifier Elimination for Valued Fields Equipped with an Automorphism
Gönenç Onay, Salih Durhan
We provide axiomatization and relative quantifier elimination for valued fields equipped with an automorphism, in residue characteristic zero. Similar results are known under stron…