3385 search results - page 118 / 677 » Language, Logic, and the Brain |
164
click to vote
NGC
2000
Springer
15 years 6 months ago
2000
Springer
In this paper we introduce the logic programminglanguage Disjunctive Chronolog which combines the programming paradigms of temporal and disjunctive logic programming. Disjunctive C...
142
click to vote
CAISE
2008
Springer
15 years 8 months ago
2008
Springer
This paper shows a rigorous approach based on algebraic specications and rewriting logic which makes up for the lack of current transformation languages and oers a balanced rigour-...
157
click to vote
APLAS
2010
ACM
15 years 6 months ago
2010
ACM
We extract techniques developed in the Concurrent C minor project to build a framework for constructing logics that contain approximation and/or separation. Approximation occurs wh...
125
click to vote
LOGCOM
2000
15 years 6 months ago
2000
Several calculi of objects have been studied in the recent literature, that support the central features of object-based languages: messages, inheritance, dynamic dispatch, object...
193
click to vote
BIRTHDAY
2012
Springer
14 years 2 months ago
2012
Springer
We introduce the use of asynchronous logic automata (ALA) for cryptography. ALA aligns the descriptions of hardware and software for portability, programmability, and scalability. ...