2076 search results - page 65 / 416 » Functional logic overloading |
134
click to vote
Book
Very well organized and easy to follow book. The table of content can be downloaded from the attachment section below.
FLAIRS
2007
13 years 11 months ago
2007
Reasoning about preferences is a major issue in many decision making problems. Recently, a new logic for handling preferences, called Qualitative Choice Logic (QCL), was presented...
FMCAD
2006
Springer
14 years 12 days ago
2006
Springer
Pervasive Logic is a broad term applied to the variety of logic present in hardware designs, yet not a part of their primary functionality. Examples of pervasive logic include init...
IFIP
2009
Springer
14 years 3 months ago
2009
Springer
Application or business logic, used in the development of services, has to do with the operations that define the application functionalities and not with the platform ones. Often...
WADT
1998
Springer
14 years 29 days ago
1998
Springer
Abstract. The conditions under which a formal system for reasoning about structural specifications, built over one logical system could be reused for reasoning about structured spe...