CompBio & Bioinf @ UniUd

CompBio & Bioinf @ UniUd

Home
Open Positions
Highlights
Projects
Software
Publications
Members
Contact

Light Dark Automatic

Martin Davis on Computability, Computational Logic, and Mathematical Foundations

Eugenio G. Omodeo, Alberto Policriti

2017-01-01

Cite

Type

Publication

Springer-Verlag

Related

On Sets and Graphs: Perspectives on Logic and Combinatorics
Mapping Sets and Hypersets into Numbers
Set-syllogistics meet combinatorics
The Rational Construction of a Wheeler DFA
Cascade products and Wheeler automata

© 2017-2021 University of Udine

Published with Wowchemy — the free, open source website builder that empowers creators.

Cite