ICTAC
2007
Springer
14 years 9 months ago
2007
Springer
Abstract. In this paper, I present the class of linear context free languages (LCFLs) with a class of non-deterministic one-way two-head (read only) automata, called non-determinis...
ICTAC
2007
Springer
14 years 9 months ago
2007
Springer
ICTAC
2007
Springer
14 years 9 months ago
2007
Springer
ICTAC
2007
Springer
14 years 9 months ago
2007
Springer
Abstract. Differing from [6] this paper reduces non-linear ranking function discovering for polynomial programs to semi-algebraic system solving, and demonstrates how to apply the...
ICTAC
2007
Springer
14 years 9 months ago
2007
Springer
We present regular linear temporal logic (RLTL), a logic that generalizes linear temporal logic with the ability to use regular expressions arbitrarily as sub-expressions. Every LT...
ICTAC
2007
Springer
14 years 9 months ago
2007
Springer
LTL cannot express the whole class of ω-regular languages and several extensions have been proposed. Among them, Quantified propositional Linear Temporal Logic (QLTL), proposed b...