1650 search results - page 121 / 330 » The HOM problem is decidable |
121
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Nominal Logic is an extension of first-order logic with equality, name-binding, name-swapping, and freshness of names. Contrarily to higher-order logic, bound variables a...
121
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
We consider the temporal logic with since and until modalities. This temporal logic is expressively equivalent over the class of ordinals to first-order logic by Kamp's theore...
144
Voted
AUTOMATICA
2006
15 years 4 months ago
2006
Resource allocation involves deciding how to divide a resource of limited availability among multiple demands in a way that optimizes current objectives. In this brief paper we fo...
124
click to vote
IJFCS
2008
15 years 4 months ago
2008
We introduce the notion of stateless multihead two-way (respectively, oneway) NFAs and stateless multicounter systems and relate them to P systems and vector addition systems. In ...
115
click to vote
CORR
2007
Springer
15 years 4 months ago
2007
Springer
We propose two alternatives to Xu’s axiomatization of Chellas’s STIT. The first one simplifies its presentation, and also provides an alternative axiomatization of the delib...