12 citations · 12 across the 3 of their papers we have counts for
3 papers
math.LO2013★ 12 cited
A Propositional Linear Time Logic with Time Flow Isomorphic to ω^2
Bojan Marinković, Zoran Ognjanović, Dragan Doder +1
Primarily guided with the idea to express zero-time transitions by means of temporal propositional language, we have developed a temporal logic where the time flow is isomorphic to…
math.NT2006
Sums of Like Powers and Some Dense Sets
Zarko Mijajlovic, Milos Milosevic, Aleksandar Perovic
In this paper we introduce the notion of the -sequences and apply their properties in studying representability of real numbers. Another application of -sequences we find in…
math.AC2005
Some Properties of Posynomial Rings
Zarko Mijajlovic, Milos Milosevic, Aleksandar Perovic
In this article we shall study some basic properties of posynomial rings with particular emphasis on rings , and .…