3408 search results - page 122 / 682 » Logic, language, information and computation |
CORR
2004
Springer
13 years 10 months ago
2004
Springer
The objective of this paper is to develop a functional programming language for quantum computers. We develop a lambda-calculus for the QRAM model, following the work of P. Seling...
SIGCSE
2012
ACM
12 years 5 months ago
2012
ACM
The Calico project is a multi-language, multi-context programming framework and learning environment for computing education. This environment is designed to support several inter...
CIKM
2008
Springer
13 years 12 months ago
2008
Springer
We propose a novel conception language for exploring the results retrieved by several internet search services (like search engines) that cluster retrieved documents. The goal is ...
BIRTHDAY
2003
Springer
14 years 3 months ago
2003
Springer
We provide a translation from CTL to Datalog¬ Succ. The translation has the following advantages: a) It is natural. b) It provides intuition to the expressive power of CTL and it...
CORR
2010
Springer
13 years 10 months ago
2010
Springer
This paper is a continuation of the study of topological properties of omega context free languages (-CFL). We proved in [Topological Properties of Omega Context Free Languages, T...