Alessandra Carbone

Available identifiers

Publication	Date of Publication	Type
Extracting Coevolving Characters from a Tree of Species	2014-06-23	Paper
Combinatorics of chromosomal rearrangements based on synteny blocks and synteny packs	2013-08-27	Paper
Co-evolution and information signals in biological sequences	2011-05-18	Paper
A new mapping between combinatorial proofs and sequent calculus proofs read out from logical flow graphs	2010-04-22	Paper
Logical structures and genus of proofs	2009-11-04	Paper
Co-evolution and Information Signals in Biological Sequences	2009-06-03	Paper
Aspects of Molecular Computing	2009-05-14	Paper
Group cancellation and resolution	2006-03-17	Paper
3D fractal DNA assembly from coding, geometry and protection	2005-01-17	Paper
Coding and geometrical shapes in nanostructures: a fractal DNA-assembly	2004-03-15	Paper
Functional labels and syntactic entropy on DNA strings and proteins.	2003-08-17	Paper
A route to fractal DNA-assembly	2003-05-04	Paper
Looking from the inside and from the outside	2001-07-18	Paper
https://portal.mardi4nfdi.de/entity/Q2715801	2001-05-28	Paper
Quantified propositional logic and the number of lines of tree-like proofs	2001-03-07	Paper
https://portal.mardi4nfdi.de/entity/Q4496851	2000-08-20	Paper
Making proofs without Modus Ponens: An introduction to the combinatorics and complexity of cut elimination	1997-05-27	Paper
Provable fixed points in \(I \Delta{}_ 0+\Omega{}_ 1\)	1992-06-28	Paper
Much shorter proofs: A bimodal investigation	1990-01-01	Paper
Rosser Orderings in Bimodal Logics	1989-01-01	Paper

No records found.

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Alessandra Carbone