1391 search results - page 231 / 279 » Completeness of Neighbourhood Logic |
195
click to vote
LICS
2007
IEEE
16 years 12 days ago
2007
IEEE
In predicate logic, the proof that a theorem P holds in a theory Th is typically conducted in natural deduction or in the sequent calculus using all the information contained in t...
146
click to vote
ADBIS
2007
Springer
16 years 9 days ago
2007
Springer
The semantics of a new language (CUDL – Conceptual Universal Database Language), designed to manage dynamic database environments, are presented. This language conforms to the FD...
148
click to vote
AOSE
2007
Springer
16 years 9 days ago
2007
Springer
This paper describes how the Organization-based Multiagent Systems Engineering (O-MaSE) methodology can be applied to an exemplar multiagent system, the Conference Management Syste...
150
click to vote
CHES
2007
Springer
16 years 9 days ago
2007
Springer
This paper describes a modular exponentiation processing method and circuit architecture that can exhibit the maximum performance of FPGA resources. The modular exponentiation arch...
177
click to vote
ICALP
2007
Springer
16 years 8 days ago
2007
Springer
Abstract. Nested words are a restriction of the class of visibly pushdown languages that provide a natural model of runs of programs with recursive procedure calls. The usual conne...