219 search results - page 1 / 44 » Bond-Free Languages: Formalizations, Maximality and Construc... |
DNA
2004
Springer
13 years 10 months ago
2004
Springer
The problem of negative design of DNA languages is addressed, that is, properties and construction methods of large sets of words that prevent undesired bonds when used in DNA com...
TYPES
2000
Springer
13 years 8 months ago
2000
Springer
We present a formalization of the halting problem in Agda, a language based on Martin-L
ICFCA
2004
Springer
13 years 10 months ago
2004
Springer
FUIN
2010
13 years 3 months ago
2010
Abstract. A (combinatorial) channel consists of pairs of words representing all possible inputoutput channel situations. In a past paper, we formalized the intuitive concept of “...
IJCSA
2008
13 years 5 months ago
2008
The Graphical Object Query Language (GOQL) is a graphical query language that complies with the ODMG standard and runs on top of the o2 DBMS. The language provides users with the ...