2 citations · 2 across the 7 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
cs.LO2020
On Termination of Transactions over Semantic Document Models
Andrei Mantsivoda, Denis Ponomaryov
We consider the framework of Document Modeling, which lays the formal basis for representing the document lifecycle in Business Process Management systems. We formulate document mo…
cs.LO2020
The Expressiveness of Looping Terms in the Semantic Programming
Sergey Goncharov, Sergey Ospichev, Denis Ponomaryov +1
We consider the language of -formulas with list terms interpreted over hereditarily finite list superstructures. We study the complexity of reasoning in extensions of the lang…