3724 search results - page 53 / 745 » Timed regular expressions |
ICALP
2000
Springer
14 years 17 days ago
2000
Springer
We explain how recent developments in game semantics can be applied to reasoning about equivalence of terms in a non-trivial fragment of Idealized Algol (IA) by expressing sets of ...
TIME
2006
IEEE
14 years 3 months ago
2006
IEEE
EJC
2006
13 years 10 months ago
2006
: In this paper we describe a solution for the semi-automatic ontology based text annotation (OnTeA) tool. The tool analyzes a document or text using regular expression patterns an...
COLING
1994
13 years 10 months ago
1994
A logic formalism is presented which increases the expressive power of the ID/LP format of GPSG by enlarging the inventory of ordering relations and extending the domain of their ...
ATVA
2010
Springer
13 years 10 months ago
2010
Springer
Abstract. It is well known that modelchecking and satisfiability of Linear Temporal Logic (LTL) are Pspace-complete. Wolper showed that with grammar operators, this result can be e...