2   Artículos

« Anterior     Página: 1 de 1     Siguiente »

 
en línea
Vincenzo Manca    
A symbolic analysis of Archimedes?s periodical number system is developed, from which a natural link emerges with the modern positional number systems with zero. After the publication of Fibonacci?s Liber Abaci, the decimal Indo-Arabic positional system ... ver más
Revista: Algorithms    Formato: Electrónico

 
en línea
Vincenzo Manca    
This paper presents an agile method of logical semantics based on high-order Predicate Logic. An operator of predicate abstraction is introduced that provides a simple mechanism for logical aggregation of predicates and for logical typing. Monadic high-o... ver más
Revista: Information    Formato: Electrónico

« Anterior     Página: 1 de 1     Siguiente »