DNAr-logic: a constructive DNA logic circuit design library in R language for molecular computing.
Renan A. MarksDaniel K. S. VieiraMarcos V. GuterresPoliana A. C. OliveiraOmar P. Vilela NetoPublished in: SBCCI (2019)
Keyphrases
- circuit design
- digital circuits
- proof theory
- multi valued
- modal logic
- logic programming
- predicate logic
- formal theory
- formal language
- operational semantics
- model theoretic
- dna computing
- floating gate
- logical framework
- defeasible logic
- relational structures
- default reasoning
- deontic logic
- agent programming
- order sorted