894 search results - page 80 / 179 » Universal Relations and |
LICS
2002
IEEE
14 years 1 months ago
2002
IEEE
We present the first complete problems for dynamic complexity classes including the classes Dyn-FO and Dyn-ThC ¢ , the dynamic classes corresponding to relational calculus and (...
WISE
2002
Springer
14 years 1 months ago
2002
Springer
We study the effort needed for designing Web applications from an empirical point of view. The design phase takes an important part of the overall effort needed to develop a Web a...
SAS
2001
Springer
14 years 18 days ago
2001
Springer
We present the implementation of cTI, a system for universal left-termination inference of logic programs, which heavily relies on static analysis techniques. Termination inference...
STACS
2001
Springer
14 years 18 days ago
2001
Springer
Langton’s ant is a simple discrete dynamical system, with a surprisingly complex behavior. We study its extension to general planar graphs. First we give some relations between c...
TLCA
2001
Springer
14 years 18 days ago
2001
Springer
In this paper, we introduce a new type system, the Implicit Calculus of Constructions, which is a Curry-style variant of the Calculus of Constructions that we extend by adding an i...