153 search results - page 3 / 31 » From Philosophical to Industrial Logics |
ECIS
2004
13 years 8 months ago
2004
The term business model has been used loosely several times for describing a company's strategies, revenue model, processes and overall business logic both by researchers and...
NDJFL
2010
13 years 2 months ago
2010
l Abstraction via the Frege Quantifier G. Aldo Antonelli Abstract This paper presents a formalization of first-order aritharacterizing the natural numbers as abstracta of the equin...
ICCAD
2002
IEEE
14 years 4 months ago
2002
IEEE
In this paper we present an advanced functional extraction tool for automatic generation of high-level RTL from switch-level circuit netlist representation. The tool is called FEV...
Book
"Constructive Type theory has been a topic of research interest to computer
scientists, mathematicians, logicians and philosophers for a number of years.
For computer scient...
DAGSTUHL
2007
13 years 8 months ago
2007
We explain the raison d’ˆetre and basic ideas of input/output logic, sketching the central elements with pointers to other publications for detailed developments. The motivation...